Automata; Computer programming; Artificial intelligence; Theorems; Computer program verification;
机译:TAME:使用PVS策略进行特殊定理证明
机译:利用抽象和规范自动机对广义非阻塞性质进行组合验证
机译:PVS的形式化以证明Dolev-Yao级联协议模型的安全性所必需的平衡属性
机译:使用I / O Automata和PVS定理箴言证明飞机着陆协议的安全性质:案例研究
机译:用抽象指导的仿真证明数字系统的特性。
机译:借助MMA-co-GMA共聚物增强MWCNTs / PVDF复合材料介电和机械性能的简便策略
机译:证明自动机抽象特性的PVS策略