Mover, Sergio

Mover, Sergio  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
Efficient Scenario VeriFIcation for Hybrid Automata 1-gen-2011 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Formal Verification of Infinite-State BIP Models 1-gen-2015 Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 1-gen-2011 Alessandro Cimatti; Sergio Mover; Marco Roveri; Stefano Tonetta
HYCOMP - an SMT-based model checker for hybrid systems 1-gen-2015 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 1-gen-2011 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
IC3 Modulo Theories via Implicit Predicate Abstraction 1-gen-2014 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Infinite-state invariant checking with IC3 and predicate abstraction 1-gen-2016 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 1-gen-2016 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
Model Checking and Safety Assessment of Altarica models 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Model Checking of Hybrid Systems using Shallow Synchronization 1-gen-2010 Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano
NuSMV 1-gen-2002 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
Parameter Synthesis with IC3 1-gen-2013 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 1-gen-2011 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Quantifier-free encoding of hybrid systems with non-linear dynamics 1-gen-2012 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Quantifier-free encoding of invariants for hybrid systems 1-gen-2014 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Safety Assessment of AltaRica Models via Symbolic Model Checking 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
SMT-based scenario verification for hybrid systems 1-gen-2013 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
SMT-Based Verification of Hybrid Systems 1-gen-2012 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Supporting Requirements Validation: The EuRailCheck Tool 1-gen-2009 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
The nuXmv Symbolic Model Checker 1-gen-2014 Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano