In: 14th IFIP Networking Conference Proceedings of 2015 14th IFIP Networking Conference, IFIP Networking 2015 Institute of Electrical and Electronics Engineers (IEEE), New York, pp. 7145330.
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs