formal specification; temporal logic; formal verification; formal specifications; specification consistency; synthesis algorithm; reactive system programs; programming bug prevention; realizable reactive system specifications; system unrealizability; tableau methods;
机译:根据实时反应系统的正式规范自动生成测试套件
机译:使用UPPAAL的系统的正式规范和验证:以防御型导弹系统为例
机译:系统对战模拟模型的形式规范与表示研究
机译:寻找无功系统正式规范无法实现的原因
机译:根据实时反应系统的正式规范自动生成测试。
机译:全身性肥大细胞增多症中骨髓淋巴细胞的增加:反应性淋巴细胞增多或恶性淋巴瘤?常规处理的骨髓活检标本的免疫组织化学和分子发现
机译:用于无功系统规格的不明显核心
机译:反应系统形式规范技术综述