机译:带有CoreASM的复杂分布式系统的可执行正式规范
Defence R&D Canada-Valcartier, QC, Canada;
Dipartimento di Informatica, University of Pisa, Italy;
School of Computing Science, Simon Fraser University, BC, Canada;
Formal methods; Specification and modeling environment; Extensible language; Abstract state machines; CoreASM;
机译:使用可执行C模型对分布式系统进行形式验证
机译:使用事件 - B分布式系统检查点算法的正式规范和验证
机译:分布式系统体系结构的可重用通信模型的正式规范和验证
机译:通过使用可执行的正式规范,帮助模块化设计和验证安全关键时断系统
机译:使用两级语法和上下文自然语言处理,将需求文档自动转换为可执行的正式规范。
机译:生物化学系统规范和分析的可执行生物化学空间
机译:具有Coreasm的复杂分布式系统的可执行形式规范