A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows-Reference-Cited by-同舟云学术

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows

Published:2017 Issue: Volume: Page:279-294
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Steinhöfel Dominic,Wasser Nathan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-66845-1_18

Reference22 articles.

1. Lecture Notes in Computer Science,2016

2. Lecture Notes in Computer Science;M Barnett,2006

3. Bobot, F., Filliâtre, J.C., et al.: Why3: Shepherd your herd of provers. In: Boogie 2011: First International Workshop on IVL, pp. 53–64 (2011)

4. Cadar, C., Dunbar, D., et al.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: 8th USENIX Conference on OSDI, pp. 209–224. USENIX Association, Berkeley (2008)

5. Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun. ACM 56(2), 82–90 (2013)

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

1. Transparent Treatment of for-Loops in Proofs;The Logic of Software. A Tasting Menu of Formal Methods;2022

2. Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives;The Logic of Software. A Tasting Menu of Formal Methods;2022

3. Behind Clint and Hoare’s goto Proof Rule;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08

4. A wp Characterization of Jump Statements;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08

5. Modular Transformation of Java Exceptions Modulo Errors;Formal Methods for Industrial Critical Systems;2021