首页> 外文OA文献 >Formal Verification of LabVIEW Programs Using the ACL2 Theorem Prover

【2h】

Formal Verification of LabVIEW Programs Using the ACL2 Theorem Prover

机译：使用aCL2定理证明器对LabVIEW程序进行形式验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Matt Kaufmann; Jacob Kornerup; Mark Reitblatt;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal verification of concurrent programs using the Larch prover [J] . Chetali B. IEEE Transactions on Software Engineering . 1998,第1期

机译：使用Larch证明器对并发程序进行形式验证
2. Formal verification of concurrent programs using the Larch prover [J] . Chetali B. IEEE Transactions on Software Engineering . 1998,第1期

机译：使用Larch证明器对并发程序进行形式验证
3. Formal verification of Matrix based MATLAB models using interactive theorem proving [J] . Ayesha Gauhar, Adnan Rashid, Osman Hasan, PeerJ Computer Science . 2021,第a期

机译：基于矩阵的Matlab模型的正式验证使用互动定理证明
4. Formal verification of LabVIEW programs using the ACL2 Theorem Prover [C] . Matt Kaufmann, Jacob Kornerup, Mark Reitblatt International Workshop on the ACL2 Theorem Prover and its Applications . 2009

机译：使用ACL2定理证明器对LabVIEW程序进行形式验证
5. Formal probabilistic analysis using theorem proving. [D] . Hasan, Osman. 2008

机译：使用定理证明进行形式概率分析。
6. Formal reasoning about systems biology using theorem proving [O] . Adnan Rashid, Osman Hasan, Umair Siddique, 2011

机译：使用定理证明关于系统生物学的形式推理
7. Formal Verification of Control Systems Properties with Theorem Proving [O] . Araiza-Illan, Dejanira, Eder, Kerstin, Richards, Arthur 2014

机译：用定理证明对控制系统性能进行形式验证

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号