Marco Roveri

+39-0461-314326  +39-0461-302040

Fondazione Bruno Kessler Ricerca Scientifica e Tecnologica (IRST) Via Sommarive 18, 38055 Povo (Trento) I-38050 ITALY.

• Areas of interest.
• List of my publications.
• Events I'm involved with.
• An incomplete list of friends of mine.
• The NuSMV model checker.
• The MBP Model Based Planner built on top of NuSMV.
• The Kratos Sofware model checker built on top of NuSMV.
• Teaching

Marco Roveri :