| The nuXmv Symbolic Model Checker R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ... Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 668 | 2014 |
| IC3 modulo theories via implicit predicate abstraction A Cimatti, A Griggio, S Mover, S Tonetta Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 140 | 2014 |
| HyComp: An SMT-Based Model Checker for Hybrid Systems A Cimatti, A Griggio, S Mover, S Tonetta Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 90 | 2015 |
| Parameter synthesis with IC3 A Cimatti, A Griggio, S Mover, S Tonetta 2013 Formal Methods in Computer-Aided Design, 165-168, 2013 | 69 | 2013 |
| Infinite-state invariant checking with IC3 and predicate abstraction A Cimatti, A Griggio, S Mover, S Tonetta Formal Methods in System Design 49, 190-218, 2016 | 64 | 2016 |
| Formal verification of infinite-state BIP models S Bliudze, A Cimatti, M Jaber, S Mover, M Roveri, W Saab, Q Wang Automated Technology for Verification and Analysis: 13th International …, 2015 | 46 | 2015 |
| Safety assessment of AltaRica models via symbolic model checking M Bozzano, A Cimatti, O Lisagor, C Mattarei, S Mover, M Roveri, ... Science of Computer Programming 98, 464-483, 2015 | 43 | 2015 |
| SMT-based verification of hybrid systems A Cimatti, S Mover, S Tonetta Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2100-2105, 2012 | 43 | 2012 |
| Verifying LTL Properties of Hybrid Systems with K-Liveness A Cimatti, A Griggio, S Mover, S Tonetta Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 39 | 2014 |
| SMT-based scenario verification for hybrid systems A Cimatti, S Mover, S Tonetta Formal Methods in System Design 42, 46-66, 2013 | 36 | 2013 |
| Hydi: A language for symbolic hybrid systems with discrete interaction A Cimatti, S Mover, S Tonetta 2011 37th EUROMICRO Conference on Software Engineering and Advanced …, 2011 | 36 | 2011 |
| Infinite-state liveness-to-safety via implicit abstraction and well-founded relations J Daniel, A Cimatti, A Griggio, S Tonetta, S Mover International Conference on Computer Aided Verification, 271-291, 2016 | 35 | 2016 |
| Symbolic model checking and safety assessment of altarica models M Bozzano, A Cimatti, O Lisagor, C Mattarei, S Mover, M Roveri, ... Electronic Communications of the EASST 46, 2012 | 33 | 2012 |
| Model checking of hybrid systems using shallow synchronization L Bu, A Cimatti, X Li, S Mover, S Tonetta International Conference on Formal Methods for Open Object-Based Distributed …, 2010 | 31 | 2010 |
| A quantifier-free SMT encoding of non-linear hybrid automata A Cimatti, S Mover, S Tonetta 2012 Formal Methods in Computer-Aided Design (FMCAD), 187-195, 2012 | 30 | 2012 |
| Time-aware relational abstractions for hybrid systems S Mover, A Cimatti, A Tiwari, S Tonetta 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 23 | 2013 |
| Proving and explaining the unfeasibility of message sequence charts for hybrid systems A Cimatti, S Mover, S Tonetta 2011 Formal Methods in Computer-Aided Design (FMCAD), 54-62, 2011 | 22 | 2011 |
| nuXmv 2.0. 0 User Manual M Bozzano, R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, ... Fondazione Bruno Kessler, Tech. Rept., Trento, Italy, 2019 | 21 | 2019 |
| Supporting requirements validation: The EuRailCheck tool R Cavada, A Cimatti, A Mariotti, C Mattarei, A Micheli, S Mover, ... 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 21 | 2009 |
| Analysis of relay interlocking systems via SMT-based model checking of switched multi-domain Kirchhoff networks R Cavada, A Cimatti, S Mover, M Sessa, G Cadavero, G Scaglione 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018 | 19 | 2018 |
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
