North Dakota State University.;
Critical systems; Formal specifications; Formal verification; Model checking; Refinemnet maps; Refinment based verification;
机译:并发系统的规范,细化和验证-Object-Z和CSP的集成
机译:使用静态抽象的对象代码提高对象代码验证的效率
机译:广播协议的正式规范和验证:基于改进的方法
机译:一种从基于细化的对象代码验证的要求中综合正式规范模型的方法
机译:定时改进用于验证实时对象代码程序
机译:对象模型验证理论的神经影像学证据:前控制在视觉对象分类中的作用
机译:面向对象的硬件规范,验证和综合的框架