Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
2019-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; 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
Proving the Existence of Fair Paths in Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Automatic discovery of fair paths in infinite-state transition systems.
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
LTL falsification in infinite-state systems
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Facing infinity in model checking expressive specification languages
2022-11-18 Magnago, Enrico
Mostrati risultati da 1 a 6 di 6
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