Marco Roveri

Marco Roveri

Università degli Studi di Trento - Trento / Italy
Engineering & Technology / Electrical & Information Engineering
AD Scientific Index ID: 1799429
University of Trento
person_outline Marco Roveri's MOST POPULAR ARTICLES
1-) Nusmv 2: An opensource tool for symbolic model checkingA Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...International conference on computer aided verification, 359-364, 200223302002
2-) NuSMV: A new symbolic model verifierA Cimatti, E Clarke, F Giunchiglia, M RoveriInternational conference on computer aided verification, 495-499, 19999191999
3-) NuSMV: a new symbolic model checkerA Cimatti, E Clarke, F Giunchiglia, M RoveriInternational journal on software tools for technology transfer 2 (4), 410-425, 20008782000
4-) The nuXmv Symbolic Model CheckerR Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ...Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 20146962014
5-) Weak, strong, and strong cyclic planning via symbolic model checkingA Cimatti, M Pistore, M Roveri, P TraversoArtificial Intelligence 147 (1-2), 35-84, 20035802003