...
机译:结合形式验证和一致性测试来验证反应系统
IRISA/INRIA, Campus de Beaulieu, F-35042 Rennes Cedex, France;
formal verification; conformance testing; electronic purse;
机译:集成反应系统的形式验证和一致性测试
机译:通过控制的自然语言要求验证,验证和测试COQ中的定时数据流动无功系统
机译:准备测试:通过正式验证确保符合工业标准
机译:自动验证和一致性测试,用于验证反应性系统的安全性
机译:根据实时反应系统的正式规范自动生成测试。
机译:网络物理系统中控制模块的正式验证
机译:整合形式验证和符合性测试的无功系统