Gianluca Redondi

Publications

1. Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Lidström Christian; Redondi Gianluca; Scaglione Giuseppe; Tessi Matteo; Trenti Dylan, Automated Parameterized Verification of a Railway Protection System with Dafny
2. Redondi Gianluca; Cimatti Alessandro; Griggio Alberto; Mcmillan Kenneth, Invariant Checking for SMT-based Systems with Quantifiers
3. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
4. Redondi Gianluca; Cimatti Alessandro; Griggio Alberto, Towards Verification Modulo Theories of asynchronous systems via abstraction refinement
5. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Verification of SMT Systems with Quantifiers