机译:EventML:容错状态机复制系统的规范,验证和实现
SnT, University of Luxembourg, Luxembourg;
SnT, University of Luxembourg, Luxembourg;
Cornell University, Ithaca, NY, USA;
Cornell University, Ithaca, NY, USA;
Nuprl; EventML; Formal verification; Fault tolerant distributed systems; Event logic;
机译:使用EventML的容错系统的正式规范,验证和实现
机译:实时系统设计:从规范到实施和验证
机译:验证FSM的系统方法:谨慎管理有限状态机的设计风格选择和复杂性属性可能会影响最终实现的质量和可验证性
机译:复制系统中并发库的语义,规范和边界验证
机译:有限状态机器的演员协议规范和验证
机译:使用混合效应程序的重复评估评估测量方法(COM3PARE):用于头部和颈部IGRT位置验证的方法比较算法实现
机译:并发工厂 - 规范,仿真,验证和并发系统实现的实用工具
机译:DaIsTs - 使用规范和验证来测试实现的系统。