"Parameter Synthesis with IC3 (Informal Presentation)."

Alessandro Cimatti et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics