Подписаться
Sergio Mover
Sergio Mover
École Polytechnique and LIX
Подтвержден адрес электронной почты в домене polytechnique.edu - Главная страница
Название
Процитировано
Процитировано
Год
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
7062014
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
1422014
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
922015
Parameter synthesis with IC3
A Cimatti, A Griggio, S Mover, S Tonetta
2013 Formal Methods in Computer-Aided Design, 165-168, 2013
692013
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
682016
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
522015
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
442015
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
442012
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
412014
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
392016
SMT-based scenario verification for hybrid systems
A Cimatti, S Mover, S Tonetta
Formal Methods in System Design 42, 46-66, 2013
372013
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
362011
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
332012
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
312010
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
302012
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
232013
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
232009
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
222019
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
222011
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
192018
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20