Gianluca Redondi

According to our database, Gianluca Redondi authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automated Parameterized Verification of a Railway Protection System with Dafny.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Invariant Checking for SMT-Based Systems with Quantifiers.

Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth L. McMillan

ACM Trans. Comput. Log., 2024

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking.

Alessandro Cimatti, Alberto Griggio, Gianluca Redondi

CoRR, 2024

Towards Verification Modulo Theories of Asynchronous Systems via Abstraction Refinement.

Gianluca Redondi, Alessandro Cimatti, Alberto Griggio

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2022

Verification of SMT Systems with Quantifiers.

Alessandro Cimatti, Alberto Griggio, Gianluca Redondi

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning.

Alessandro Cimatti, Alberto Griggio, Gianluca Redondi

Proceedings of the Automated Deduction - CADE 28, 2021