这是一组基准问题,可用于检查工具的正式的方法。仿真软件的设计验证器可万博1manbetx以用于证明和测试用例生成。所有的模型有一个测试用例,相当于一个反例。需要删除测试用例和断言使用正式的方法来验证。
引用作为
Yogananda Jeppu (2023)。基准问题04 -正式的方法(//www.tianjin-qmedu.com/matlabcentral/fileexchange/59095-benchmark-problem-04-formal-methods), MATLAB中央文件交换。检索。
版本 | 发表 | 发布说明 | |
---|---|---|---|
1.0.0.0 |