这一组模型Therac-25重新审视Stateflow模型,一个3信号选民逻辑和向上/向下计数器。有一个详细描述作为一个幻灯片来帮助理解模型。一组NuSMV(另一个模型检查器)文件也提供了比较。
引用作为
娜塔莎Jeppu (2022)。探索设计验证器- 04(//www.tianjin-qmedu.com/matlabcentral/fileexchange/58448-exploring-design-verifier-04), MATLAB中央文件交换。检索。
MATLAB版本兼容性
创建R2016a
兼容任何释放