Modular Verification Scopes via Export Sets and Translucent Exports-Reference-Cited by-同舟云学术

Modular Verification Scopes via Export Sets and Translucent Exports

Published:2018 Issue: Volume: Page:185-202
ISSN:
Container-title:Principled Software Development
language:
Short-container-title:

Author:

Leino K. Rustan M.,Matichuk Daniel

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-98047-8_12

Reference12 articles.

1. Anindya Banerjee, David A. Naumann, and Stan Rosenberg. “Regional logic for local reasoning about global invariants”. In: Jan Vitek, editor ECOOP 2008, Object-Oriented Programming 22nd European Conference Springer, 2008.

2. Margaret A. Ellis and Bjarne Stroustrup. “The Annotated C+ + Reference Manual”. In: Addison-Wesley Publishing Company, 1990.

3. Jason Koenig and K. Rustan M. Leino. “Programming language features for refinement”. In: In John Derrick, Eerke A. Boiten, and Steve Reeves, editors, Proceedings 17th International Workshop on Refinement, Refine@FM 2015 EPTCS, 2016.

4. K. Rustan M. Leino. “Accessible software verification with Dafny”. In: IEEE Software IEEE, 2017.

5. K. Rustan M. Leino. “Dafny: An automatic program verifier for functional correctness”. In: Edmund M. Clarke and Andrei Voronkov editors, LPAR-16 Springer, 2010.

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

1. Verified Model Checking for Conjunctive Positive Logic;SN Computer Science;2021-06-19

2. Abstraction and Genericity in Why3;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020