Computer Science Department, Boston University, Boston, USA;
Computer Science Department, Boston University, Boston, USA;
Numerical models; Semantics; Computational modeling; Programming; Model checking; Cognition;
机译:dev-proMela:通过组合模型检查和仿真来建模,验证和验证视频游戏
机译:在模型检查中使用模型检查技术为非专业人员验证业务规则
机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
机译:使用模型检查进行组合类型检查系统验证
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:通过结合模型检验和定理证明对复杂的无序流水线进行形式验证
机译:计算科学:用于验证电子合同的高级模型检查工具