Assertion; Formal Verification; Power Intent Verification;
机译:POWER-TRUCTOR:用于形式验证和覆盖建筑动力意图的集成工具流程
机译:正式验证建筑权力意图
机译:通过正式模型的断言生成验证跨层交互
机译:利用UPF提取的断言进行建模和正式验证建筑力量意图
机译:正式验证和测试软件体系结构模型。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:正式验证范围:RTL属性是否涵盖设计的架构意图
机译:使用实时模型检查器UppaaL对电源控制器进行形式验证