Redondi, Gianluca
Redondi, Gianluca
FM
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.018 secondi).
Automated Parameterized Verification of a Railway Protection System with Dafny
2025-01-01 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; Scaglione, Giuseppe; Tessi, Matteo; Trenti, Dylan
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 |
|---|---|---|---|
| Automated Parameterized Verification of a Railway Protection System with Dafny | 1-gen-2025 | Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Lidström, Christian; Redondi, Gianluca; Scaglione, Giuseppe; Tessi, Matteo; Trenti, Dylan | |
| 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 |