Roberto Cavada

The nuXmv Symbolic Model Checker

Marco Roveri, Alberto Griggio, Alessandro Cimatti, 2014, CAV.

Formal verification of diagnosability via symbolic model checking

Alessandro Cimatti, Charles Pecheur, Roberto Cavada, 2003, IJCAI 2003.

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Marco Roveri, Alessandro Cimatti, R. K. Shyamasundar, 2007, Formal Methods in Computer Aided Design (FMCAD'07).

Formal analysis of hardware requirements

Marco Roveri, Alessandro Cimatti, Roderick Bloem, 2006, 2006 43rd ACM/IEEE Design Automation Conference.