A Configurable CEGAR Framework with Interpolation-Based Refinements

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-39570-8_11 ◽

2016 ◽

pp. 158-174 ◽

Author(s):

Ákos Hajdu ◽

Tamás Tóth ◽

András Vörös ◽

István Majzik

Download Full-text