机译:通过正式模型的断言生成验证跨层交互
Univ Southampton Fac Engn & Phys Sci Southampton SO17 1BJ Hants England;
Univ Surrey Dept Comp Sci Guildford GU2 7XH Surrey England;
Univ Southampton Fac Engn & Phys Sci Southampton SO17 1BJ Hants England;
Univ Southampton Fac Engn & Phys Sci Southampton SO17 1BJ Hants England;
Embedded systems; Event-B; formal methods; formal verification; runtime management;
机译:JML的设计如何适应运行时断言检查和形式验证
机译:声明检查环境(ACE),用于C程序的形式验证
机译:从Auml图自动生成测试序列:对代理交互协议的形式验证
机译:用于仿真,形式验证和仿真的自动断言生成
机译:在微处理器和存储系统的形式验证中自动生成不变量。
机译:使用本体驱动的假设断言框架进行路径生成并进行数值模拟的药物相互作用预测
机译:使用符号轨迹评估自动生成用于形式验证powerpC微处理器阵列的断言