AIRLINE OPERATIONS; PROGRAM VERIFICATION (COMPUTERS); THEOREM PROVING; DATA BASE MANAGEMENT SYSTEMS; DATA BASES;
机译:使用PVS形式验证SCR样式的软件需求规范的功能属性
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:跨抽象级别的验证流程,以正式规范为依据验证实现
机译:使用PVS进行正式规范和资源绑定安全的验证
机译:JVM及其字节码验证程序的正式规范和验证。
机译:使用BioΨ计算生物功能BioΨ是基于基本动作模块的生物学过程的正式描述
机译:REO2PVS:元件连接器的正式规范和验证
机译:使用pVs进行形式化规范和验证的基础教程