机译：答：中间语言c和宏汇编程序的集成语义，用于从verisoftxt普遍正式验证操作系统和虚拟机管理程序
机译：普适计算系统的形式化建模与验证
机译：普遍存在和普遍系统的正式规范和验证
机译：正式验证通用消息传递系统
机译：VerisoftXT对操作系统和虚拟机管理程序进行正式形式验证的中级语言C和宏汇编程序的集成语义
机译：安全和正式验证的商品多处理器管理程序
机译：IV。临床咨询系统医疗决策支持系统和临床研究数据库：A.医疗决策支持和人工智能方法：信息系统中嵌入的临床决策支持形式规则的自动化
机译：迈向以C语言实现的多核操作系统和虚拟机管理程序的正式验证
机译：一种实用的LIsp形式语义定义与验证系统。
