首页> 外文OA文献 >Correct Programs without Proof? On Checker-Based Program Verification

【2h】

Correct Programs without Proof? On Checker-Based Program Verification

机译：没有证明的正确程序？基于检查器的程序验证

页面导航

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

著录项

作者
Wolfgang Goerigk; Thilo Gaul; Wolf Zimmermann;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs [J] . Sylvie Boldo, Claude Marché Mathematics in Computer Science . 2011,第4期

机译：数值程序的形式验证：从C注释程序到机械证明
2. Formal Verification of Numerical Programs:From C Annotated Programs to Mechanical Proofs [J] . Sylvie Boldo, Claude Marche Mathematics in computer science . 2011,第4期

机译：数值程序的形式验证：从C注释程序到机械证明
3. Correctness of logic programs using proof schemes [J] . Emmanouil Marakakis, Nikos Papadakis International Journal of Knowledge-Based in Intelligent Engineering Systems . 2012,第3期

机译：使用证明方案的逻辑程序的正确性
4. Rigorous proofs of program correctness without formal logic [C] . J. R. Jefferson Wadkins SIGCSE technical symposium on Computer science education . 1995

机译：没有形式逻辑的严格程序正确性证明
5. Reducing the Costs of Proof Assistant Based Formal Verification or: Conviction without the Burden of Proof. [D] . Tatlock, Zachary Lee. 2014

机译：降低基于证明助手的形式验证的成本或：无需证明负担的定罪。
6. Strengthening Government Leadership in Family Planning Programming in Senegal: From Proof of Concept to Proof of Implementation in 2 Districts [O] . Barry Aichatou, Cheikh Seck, Thierno Souleymane Baal Anne, 2016

机译：加强塞内加尔计划生育计划中的政府领导：从概念证明到两区实施的证明
7. Enhancing Total Correctness Proofs in Program Verification [O] . LE TON CHANH 2014

机译：在程序验证中增强总体正确性证明
8. Semantics and correctness proofs for programs with partial functions [R] . Yakhnis, A. , Yakhnis, V. 1996

机译：具有部分功能的程序的语义和正确性证明

Correct Programs without Proof? On Checker-Based Program Verification

著录项

引文网络

相似文献

相关主题

期刊订阅