Saturation-Based Incremental LTL Model Checking with Inductive Proofs.

Authors :: Molnár, Vince
Darvas, Dániel
Vörös, András
Bartha, Tamás
Source :: Tools & Algorithms for the Construction & Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings; 2015, p643-657, 15p
Publication Year :: 2015

Language :: English
ISBNs :: 9783662466803
Database :: Complementary Index
Journal :: Tools & Algorithms for the Construction & Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Publication Type :: Book
Accession number :: 102868477
Full Text :: https://doi.org/10.1007/978-3-662-46681-0_58