The nuXmv symbolic model checker (2014)

by R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, M Roveri, S Tonetta
Venue:In: Proc. of CAV. LNCS