Magnago, Enrico
Magnago, Enrico
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.014 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
Facing infinity in model checking expressive specification languages
2022-11-18 Magnago, Enrico
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