Redondi, Gianluca
Redondi, Gianluca
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
Invariant Checking for SMT-based Systems with Quantifiers
2024-01-01 Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto; Mcmillan, Kenneth
SMT-based Verification of Parameterized Systems
2024-07-18 Redondi, Gianluca
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
2024-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning
2021-01-01 Cimatti, A.; Griggio, A.; Redondi, G.
Verification of SMT Systems with Quantifiers
2022-01-01 Cimatti, A.; Griggio, A.; Redondi, G.