Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems (2012)

by S Conchon, A Goel, S Krstić, A Mebsout, F Zäıdi
Venue:In CAV, LNCS