July 2013: The paper “System Level Formal Verification via Model Checking Driven Simulation” of Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, and Enrico Tronci has been presented at the 25th International Conference on Computer Aided Verification (CAV 2013).
