A paper by our research group has been accepted at the TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) scientific conference, a top international forum for tools and algorithms for the construction and analysis of systems.
We would like to thank our student collaborators and the reviewers for their helpful feedback.
The title of our accepted paper: Saturation-based Incremental LTL Model Checking with Inductive Proofs
