Gianluca Redondi

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Intelligent Systems

Quantifier Free

Linear Temporal Logic

Top Venues

Publications

Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth McMillan
Invariant Checking for SMT-based Systems with Quantifiers. CoRR (2024)
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. CoRR (2024)
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
Verification of SMT Systems with Quantifiers. ATVA (2022)
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. CADE (2021)