Redondi, Gianluca
Redondi, Gianluca
Ingegneria e scienza dell'Informaz (29/10/12-)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
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.
Titolo | Anno di pubblicazione | Autori Unitn | File |
---|---|---|---|
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking | 1-gen-2024 | Alessandro CimattiAlberto GriggioGianluca Redondi | |
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning | 1-gen-2021 | Cimatti A.Griggio A.Redondi G. | |
Verification of SMT Systems with Quantifiers | 1-gen-2022 | Cimatti A.Griggio A.Redondi G. |