Exploiting partial variable assignment in interpolation-based model checking-Reference-Cited by-同舟云学术

Exploiting partial variable assignment in interpolation-based model checking

Published:2019-11-07 Issue:1 Volume:55 Page:33-71
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Jančík Pavel,Kofroň Jan^ORCID,Alt Leonardo,Fedyukovich Grigory,Hyvärinen Antti E. J.,Sharygina Natasha

Funder

Grantová Agentura Ceské Republiky

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-019-00342-z.pdf

Reference32 articles.

1. Albarghouthi A, Gurfinkel A, Chechik M (2012) From under-approximations to over-approximations and back. In: Flanagan C, König B (eds) Tools and algorithms for the construction and analysis of systems—18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, Mar 24–Apr 1, 2012. Proceedings, volume 7214 of Lecture notes in computer science. Springer, pp 157–172

2. Albarghouthi A, Gurfinkel A, Chechik M (2012) Whale: an interpolation-based algorithm for inter-procedural verification. In: Kuncak V, Rybalchenko A (eds) Verification, model checking, and abstract interpretation—13th international conference, VMCAI 2012, Philadelphia, PA, USA, 22–24 Jan 2012. Proceedings, volume 7148 of Lecture notes in computer science. Springer, pp 39–55

3. Albarghouthi A, Li Y, Gurfinkel A, Chechik M (2012) UFO: a framework for abstraction- and interpolation-based software verification. In: Madhusudan P and Seshia SA (Eds) Computer aided verification—24th international conference, CAV 2012, Berkeley, CA, USA, 7–13 July 2012, proceedings, volume 7358 of Lecture notes in computer science. Springer, pp 672–678

4. Barrett C, Stump A, Tinelli C (2010) The SMT-LIB standard: version 2.0. Technical report, Department of Computer Science, The University of Iowa. http://www.SMT-LIB.org

5. Cabodi G, Loiacono C, Vendraminetto D (2013) Optimization techniques for Craig interpolant compaction in unbounded model checking. In: Enrico M