Sign in
Gianluca Redondi
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Formal Methods
Computing Systems
Quantifier Free
Top Venues
CADE
ATVA
</>
Publications
</>
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)