Sfoglia per Autore Magnago, Enrico
Mostrati risultati da 1 a 5 di 5
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
2020-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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties | 1-gen-2019 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano | |
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators | 1-gen-2020 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano | |
Proving the Existence of Fair Paths in Infinite-State Systems | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
Automatic Discovery of Fair Paths in Infinite-State Transition Systems | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
LTL falsification in infinite-state systems | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico |
Mostrati risultati da 1 a 5 di 5
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