A Configurable CEGAR Framework with Interpolation-Based Refinements.

Authors :: Hajdu, Ákos
Tóth, Tamás
Vörös, András
Majzik, István
Source :: Formal Techniques for Distributed Objects, Components & Systems (9783319395692); 2016, p158-174, 17p
Publication Year :: 2016

Language :: English
ISBNs :: 9783319395692
Database :: Complementary Index
Journal :: Formal Techniques for Distributed Objects, Components & Systems (9783319395692)
Publication Type :: Book
Accession number :: 117231195
Full Text :: https://doi.org/10.1007/978-3-319-39570-8_11