...
机译:通过自动减少数据路径来正式验证数字系统
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:实时系统:正式规范和自动验证
机译:正式的非易碎验证数字状态反馈控制系统的步骤响应要求
机译:通过茂物模型检查工具自动验证uml状态图:网络和分布式系统的自动形式验证
机译:根据交易数据路径规范自动进行管道综合和形式验证。
机译:迁移检查工具:在治疗管理系统升级和数据库迁移之后自动进行计划验证
机译:同步反应系统的验证:从形式验证到自动测试
机译:用自动推理系统对数字系统属性的形式验证