Computer program verification; Computer programming; Algorithms; Semantics; Recursive functions; Man computer interface; Programming languages; Syntax; Boolean algebra; Theses; LISP programming language;
机译:用SystemC编写的系统级设计的组合反应语义以及带谓词抽象的形式验证
机译:“语义”一词的正式定义是工业互联网中语义互操作性的基础
机译:C系统代码结构类型的正式验证,分离逻辑和定理证明
机译:基于模型的电子物理系统开发的实用形式验证
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:无限进化和创新的形式定义揭示了动态系统中开放式进化的通用机制
机译:使用事件B进行封闭系统形式验证的实用方法