PLC Program; Embedded System; Verification; Denotational Semantics; Theorem Proving; COQ;
机译:通过结合测试,模型检查和交互式定理证明来验证Haskell程序
机译:基于矩阵的Matlab模型的正式验证使用互动定理证明
机译:交互式MOLP Explorer:一种基于图形的计算工具,用于多目标线性规划模型中的教学和决策支持
机译:基于互动定理证明工具COQ的PLC程序的建模与验证
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:使用透射检测器和基于模型的剂量验证系统作为VMAT计划的全面预处理QA工具进行DVH分析:临床经验和结果
机译:基于不变量编程的交互式自动定理证明支持练习