Carnegie Mellon University;
机译:一种基于事件的方法,用于正式验证运行时自适应实时系统
机译:经过正式验证的用于POSIX实时操作系统上的实时调度的应用程序级框架
机译:实时资源访问控制协议的建模,分析和验证:一种正式方法
机译:面向对象的实时系统的形式验证的一种方法
机译:一种使用MDG对嵌入式系统进行形式验证的分层方法。
机译:网络物理系统中控制模块的正式验证
机译:Verus工具:一种定量方法,用于对实时系统进行形式验证
机译:实时系统形式化验证的定量方法