CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties-Reference-Cited by-同舟云学术

CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties

Published:2011 Issue: Volume: Page:107-121
ISSN:0302-9743
Container-title:Formal Verification of Object-Oriented Software
language:
Short-container-title:

Author:

Huisman Marieke,Gurov Dilian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-18070-5_8

Reference24 articles.

1. Alur, R., Arenas, M., Barcelo, P., Etessami, K., Immerman, N., Libkin, L.: First-order and temporal logics for nested words. In: Logic in Computer Science (LICS 2007), Washington, DC, USA, pp. 151–160. IEEE Computer Society, Los Alamitos (2007)

2. Lecture Notes in Computer Science;R. Alur,2010

3. Lecture Notes in Computer Science;R. Alur,2004

4. Lecture Notes in Computer Science;M. Barnett,2005

5. Boudol, G., Larsen, K.: Graphical versus logical specifications. Theoretical Computer Science 106, 3–20 (1992)

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

1. Provably correct control flow graphs from Java bytecode programs with exceptions;International Journal on Software Tools for Technology Transfer;2015-04-05

2. From Safety Critical Java Programs to Timed Process Models;Programming Languages with Applications to Biology and Security;2015

3. Algorithmic Verification of Procedural Programs in the Presence of Code Variability;Formal Aspects of Component Software;2015

4. Procedure-modular specification and verification of temporal safety properties;Software & Systems Modeling;2013-03-07

5. Sound Control-Flow Graph Extraction for Java Programs with Exceptions;Software Engineering and Formal Methods;2012