机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
Model-driven engineering; reliable systems; fault tolerance; component contracts; compositional verification; model checking;
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:实时系统:正式规范和自动验证
机译:使用事件 - B分布式系统检查点算法的正式规范和验证
机译:实现自动生成正式规格以验证和验证可靠的分布式系统的方法,以工业案例研究为例
机译:在微处理器和存储系统的形式验证中自动生成不变量。
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:面向SDL规范的验证技术和自动测试生成方法的工业应用
机译:部分规范验证和验证的形式化方法:案例研究