Sergio Mover

Sergio Mover

École Polytechnique (Institut Polytechnique de Paris) - Palaiseau / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1661561
Polytechnic School
person_outline Sergio Mover's MOST POPULAR ARTICLES
1-) 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 …, 20145442014
2-) IC3 modulo theories via implicit predicate abstractionA Cimatti, A Griggio, S Mover, S TonettaTools and Algorithms for the Construction and Analysis of Systems: 20th …, 20141272014
3-) HyComp: An SMT-Based Model Checker for Hybrid SystemsA Cimatti, A Griggio, S Mover, S TonettaInternational Conference on Tools and Algorithms for the Construction and …, 2015822015
4-) Parameter synthesis with IC3A Cimatti, A Griggio, S Mover, S Tonetta2013 Formal Methods in Computer-Aided Design, 165-168, 2013712013
5-) Infinite-state invariant checking with IC3 and predicate abstractionA Cimatti, A Griggio, S Mover, S TonettaFormal Methods in System Design 49, 190-218, 2016672016