Magnago, Enrico

Magnago, Enrico  

ES  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.001 secondi).
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