Preserving User Proofs across Specification Changes-Reference-Cited by-同舟云学术

Preserving User Proofs across Specification Changes

Published:2014 Issue: Volume: Page:191-201
ISSN:0302-9743
Container-title:Verified Software: Theories, Tools, Experiments
language:
Short-container-title:

Author:

Bobot François,Filliâtre Jean-Christophe,Marché Claude,Melquiond Guillaume,Paskevich Andrei

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-54108-7_10

Reference14 articles.

1. Lecture Notes in Computer Science;C. Barrett,2011

2. Lecture Notes in Artificial Intelligence,2007

3. Bobot, F., Conchon, S., Contejean, E., Iguernelala, M., Lescuyer, S., Mebsout, A.: The Alt-Ergo automated theorem prover (2008), http://alt-ergo.lri.fr/

4. Bobot, F., Filliâtre, J.-C., Marché, C., Paskevich, A.: Why3: Shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, Wrocław, Poland, pp. 53–64 (August 2011)

5. Lecture Notes in Computer Science;F. Bobot,2011

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

1. Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages;IEEE Transactions on Software Engineering;2023-01-01

2. Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable;Lecture Notes in Computer Science;2023

3. Lightweight Interactive Proving inside an Automatic Program Verifier;Electronic Proceedings in Theoretical Computer Science;2018-11-27

4. Adapting proof automation to adapt proofs;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs;2018-01-08

5. Adapting proof automation to adapt proofs;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018