机译:软件系统形式验证中的抽象和理想化
Dipartimento di Storia Scienze dell’Uomo e della Formazione Università di Sassari">(1);
Philosophy of computer science; Model checking; State space reduction techniques; Aristotelian abstraction; Multiple model idealization; Galilean idealization;
机译:软件系统形式验证中的抽象和理想化
机译:用SystemC编写的系统级设计的组合反应语义以及带谓词抽象的形式验证
机译:基于抽象方法的分布式嵌入式系统验证的正式框架
机译:通过间隔属性检查和抽象来进行正式的硬件/软件协同验证
机译:基于投影的软件系统的正式验证。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术