理性验证

计算机科学中的一个关键问题是检查程序或系统可能显示的属性就是要了解某些状态是不可避免的、可能的还是不可能的。在理性验证中，我们询问系统状态是否可以通过系统组件的理性行为产生。这部作品融合了游戏中的创意理论和传统验证，从理论到实现的系统。