机译:使用关系建模和符号计算对高级数据流综合设计进行形式验证
机译:使用MDG对Fairisle ATM交换矩阵进行建模和形式验证
机译:暹粒的高级域名语言(设计,开发和正式验证)
机译:ATM开关设计:参数高级建模和正式验证
机译:正式建模和设计模式的自动验证。
机译:执行基于para残差的两个形式化检验以检查比例风险假设和灵活参数超额风险模型中预后因素的功能形式
机译:从流水线和超标量设计的形式验证中收集高级微处理器错误
机译:使用自动分析工具进行形式建模来设计和参数化分析多机器人协调协议:案例研究。