机译:安全关键系统的验证:使用现代模型检查工具的案例研究报告
机译:基于无限状态系统的演绎模型检查的自动细化验证
机译:基于无限状态系统的演绎模型检查的自动细化验证
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:开放系统的模型检查:一种组合的软件验证方法。
机译:用软件工程技术对数学模型的再现性问题:使用房地产节点一维数学模型的案例研究
机译:安全关键系统的验证:使用现代模型检查工具的案例研究报告
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范