机译:将Event-B模型转换为Dafny合同
机译:使用DAFNY的红黑树的一个分子证明
机译:使用Dafny进行无障碍软件验证
机译:在DAFNY中建模并发
机译:集成了并发控制和代理执行支持,并为KURT-Linux组调度模型下的确定性并发测试提供了框架。
机译:简单并发和并发链计划中的选择模型
机译:从事件B模型到Dafny代码合同
机译:ada编译器验证摘要报告:证书编号:910711W1.11186 GsEGesellschaft fuer软件工程mbH meridian ada,版本4.1 Concurrent Computer Corp. m6000 => Concurrent Computer Corp. m6000型号6450,RTU 5.0C,型号6450,RTU 5.0