Redondi, Gianluca
Redondi, Gianluca
FM
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.001 secondi).
Invariant Checking for SMT-based Systems with Quantifiers
2024-01-01 Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto; Mcmillan, Kenneth
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
2024-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement
2024-01-01 Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Verification of SMT Systems with Quantifiers
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
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 |