Multi-prover Verification of C Programs-Reference-Cited by-同舟云学术

Multi-prover Verification of C Programs

Published:2004 Issue: Volume: Page:15-29
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Filliâtre Jean-Christophe,Marché Claude

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30482-1_10.pdf

Reference21 articles.

1. The Simplify decision procedure (part of ESC/Java), http://research.compaq.com/SRC/esc/simplify/

2. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: The ASTRÉE static analyzer, http://www.astree.ens.fr/

3. Bornat, R.: Proving pointer programs in Hoare logic. In: Mathematics of Program Construction, pp. 102–126 (2000)

4. Burstall, R.: Some techniques for proving correctness of programs which alter data structures. Machine Intelligence 7, 23–50, 72

5. CAVEAT project, http://www-drt.cea.fr/Pages/List/lse/LSL/Caveat/index.html

Cited by 68 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formally Expressing What a Program Should Do: The ACSL Language;Computer Science Foundations and Applied Logic;2024

2. Abstract Interpretation of LLVM with a Region-Based Memory Model;Lecture Notes in Computer Science;2022

3. Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification;Lecture Notes in Computer Science;2020

4. The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination;Automatic Control and Computer Sciences;2019-12

5. Towards Automatic Deductive Verification of C Programs over Linear Arrays;Lecture Notes in Computer Science;2019