Sfoglia per Autore
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking
2011-01-01 Sebastiani, Roberto; Tonetta, Stefano; M. Y., Vardi
Formalizing requirements with object models and temporal constraints
2011-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Validation of Requirements for Hybrid Systems: a Formal Approach
2012-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Parameter Synthesis with IC3
2013-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
IC3 Modulo Theories via Implicit Predicate Abstraction
2014-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
Verifying LTL Properties of Hybrid Systems with K-Liveness
2014-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
HRELTL: A temporal logic for hybrid systems
2015-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Safety Assessment of AltaRica Models via Symbolic Model Checking
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Lisagor, Oleg; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
HYCOMP - an SMT-based model checker for hybrid systems
2015-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
2016-01-01 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
Infinite-state invariant checking with IC3 and predicate abstraction
2016-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Certifying Proofs for LTL Model Checking
2018-01-01 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
2019-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
NuRV: a nuXmv Extension for Runtime Verification
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumption-based Runtime Verification with Partial Observability and Resets
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators
2019-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
Safe Decomposition of Startup Requirements: Verification and Synthesis
2020-01-01 Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano
Assumption-Based Runtime Verification of Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
2021-01-01 Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano
Searching for Ribbon-Shaped Paths in Fair Transition Systems
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Tonetta, Stefano; Viktoria, Vozarova
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