Redondi, Gianluca

Redondi, Gianluca  

FM  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
Invariant Checking for SMT-based Systems with Quantifiers 1-gen-2024 Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto; Mcmillan, Kenneth
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 1-gen-2024 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 1-gen-2024 Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 1-gen-2021 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Verification of SMT Systems with Quantifiers 1-gen-2022 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca