Sfoglia per Autore
NuSMV
2002-01-01 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
Supporting Requirements Validation: The EuRailCheck Tool
2009-01-01 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Model Checking of Hybrid Systems using Shallow Synchronization
2010-01-01 Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Model Checking and Safety Assessment of Altarica models
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
From Sequential Extended Regular Expressions to NFA with Symbolic Labels
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Efficient Scenario VeriFIcation for Hybrid Automata
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
SMT-Based Verification of Hybrid Systems
2012-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Quantifier-free encoding of hybrid systems with non-linear dynamics
2012-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Parameter Synthesis with IC3
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Time-aware Relational Abstractions for Hybrid Systems
2013-01-01 Mover, Sergio; Cimatti, Alessandro; Tiwari, A.; Tonetta, Stefano
SMT-based scenario verification for hybrid systems
2013-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
IC3 Modulo Theories via Implicit Predicate Abstraction
2014-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Quantifier-free encoding of invariants for hybrid systems
2014-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Verifying LTL Properties of Hybrid Systems with K-Liveness
2014-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
The nuXmv Symbolic Model Checker
2014-01-01 Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Formal Verification of Infinite-State BIP Models
2015-01-01 Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
Safety Assessment of AltaRica Models via Symbolic Model Checking
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
HYCOMP - an SMT-based model checker for hybrid systems
2015-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
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 | |
Model Checking of Hybrid Systems using Shallow Synchronization | 1-gen-2010 | Lei, Bu; Cimatti, Alessandro; Xuandong, Li; 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 | |
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 | |
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
From Sequential Extended Regular Expressions to NFA with Symbolic Labels | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
Efficient Scenario VeriFIcation for Hybrid Automata | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
SMT-Based Verification of Hybrid Systems | 1-gen-2012 | 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 | |
Parameter Synthesis with IC3 | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
Time-aware Relational Abstractions for Hybrid Systems | 1-gen-2013 | Mover, Sergio; Cimatti, Alessandro; Tiwari, A.; Tonetta, Stefano | |
SMT-based scenario verification for hybrid systems | 1-gen-2013 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
IC3 Modulo Theories via Implicit Predicate Abstraction | 1-gen-2014 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
Quantifier-free encoding of invariants for hybrid systems | 1-gen-2014 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
Verifying LTL Properties of Hybrid Systems with K-Liveness | 1-gen-2014 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; 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 | |
Formal Verification of Infinite-State BIP Models | 1-gen-2015 | Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang | |
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 | |
HYCOMP - an SMT-based model checker for hybrid systems | 1-gen-2015 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile