Sign in
Gabriele Venturato
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Temporal Logic
Website
Bounded Model Checking
Top Venues
TIME
</>
Publications
</>
Luca Geatti
,
Nicola Gigante
,
Angelo Montanari
,
Gabriele Venturato
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker.
TIME
(2021)