Mover, Sergio

Mover, Sergio  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.021 secondi).
Titolo Anno di pubblicazione Autori Unitn File
Formal Verification of Infinite-State BIP Models 1-gen-2015 Cimatti AlessandroMover SergioRoveri Marco +
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 1-gen-2011 Alessandro CimattiSergio MoverMarco RoveriStefano Tonetta
HYCOMP - an SMT-based model checker for hybrid systems 1-gen-2015 Cimatti A.Griggio A.Mover S.Tonetta S.
IC3 Modulo Theories via Implicit Predicate Abstraction 1-gen-2014 A. CimattiA. GriggioS. MoverS. Tonetta
Infinite-state invariant checking with IC3 and predicate abstraction 1-gen-2016 Cimatti, AlessandroGriggio, AlbertoMover, SergioTonetta, Stefano
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 1-gen-2016 Cimatti, AlessandroGriggio, AlbertoTonetta, StefanoMover, Sergio +
Model Checking and Safety Assessment of Altarica models 1-gen-2011 A. CimattiC. MattareiS. MoverM. RoveriS. Tonetta +
Parameter Synthesis with IC3 1-gen-2013 Cimatti A.Griggio A.Mover S.Tonetta S.
Safety Assessment of AltaRica Models via Symbolic Model Checking 1-gen-2015 Alessandro CimattiCristian MattareiSergio MoverMarco RoveriStefano Tonetta +
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 1-gen-2023 Becchi, AnnaCimatti, AlessandroMover, SergioTonetta, Stefano +
Supporting Requirements Validation: The EuRailCheck Tool 1-gen-2009 Cavada, RobertoCimatti, AlessandroMattarei, CristianMicheli, AndreaMover, SergioRoveri, MarcoSusi, AngeloTonetta, Stefano +
Verification of Hybrid Systems using Satisfiability Modulo Theories 1-gen-2014 Mover, Sergio
Verifying LTL Properties of Hybrid Systems with K-Liveness 1-gen-2014 A. CimattiA. GriggioS. MoverS. Tonetta