Magnago, Enrico
Magnago, Enrico
ES
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.001 secondi).
Automatic Discovery of Fair Paths in Infinite-State Transition Systems
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
2019-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
LTL falsification in infinite-state systems
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Proving the Existence of Fair Paths in Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automatic Discovery of Fair Paths in Infinite-State Transition Systems | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties | 1-gen-2019 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano | |
LTL falsification in infinite-state systems | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
Proving the Existence of Fair Paths in Infinite-State Systems | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
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 |