Publications

• G. Redondi, A. Griggio, A. Cimatti. Lambda: A Tool for the SMT-Based Verification of Parameterized Transition Systems. The tool paper describing Lambda 1.0 (submitted to TACAS 2027).

• G. Redondi, A. Cimatti, A. Griggio, K. L. McMillan. Invariant Checking for SMT-Based Systems with Quantifiers. ACM Transactions on Computational Logic 25(4), 2024. doi:10.1145/3686153

• A. Cimatti, A. Griggio, G. Redondi. Verification of SMT Systems with Quantifiers. ATVA 2022. Bounded induction with quantifier instantiation.

• A. Cimatti, A. Griggio, G. Redondi. Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. CADE 28, 2021. Parameter abstraction.