Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. - Alessandro Cimatti; Alberto Griggio; Gianluca Redondi (CADE, 2021)

Verification of SMT Systems with Quantifiers. - Alessandro Cimatti; Alberto Griggio; Gianluca Redondi (ATVA, 2022)

Towards Verification Modulo Theories of Asynchronous Systems via Abstraction Refinement. - Gianluca Redondi; Alessandro Cimatti; Alberto Griggio (FMCAD, 2024)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. - Alessandro Cimatti; Alberto Griggio; Gianluca Redondi (CoRR, 2024)

Invariant Checking for SMT-Based Systems with Quantifiers. - Gianluca Redondi; Alessandro Cimatti; Alberto Griggio; Kenneth L. McMillan (ACM Trans. Comput. Log., 2024)

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 (CAV (4), 2025)