信息 MCTA公司 Mcta是一个用于实时的模型检查工具被建模为时间自动机的规范。虽然工具可以使用对于验证，Mcta针对伪造进行了优化，即。，快速检测违反安全特性的行为，并迅速返回错误跟踪。可以生成几种类型的跟踪，包括查找（保证的）最短错误跟踪的选项。更多信息信息，请联系韦尔勒.
