Flavio Ascari

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Predicate Logic

Reachability Analysis

Top Venues

Publications

Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CoRR (2023)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) (2023)
Flavio Ascari, Roberto Bruni, Roberta Gori
Logics for Extensional, Locally Complete Analysis via Domain Refinements. ESOP (2023)
Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo
Sufficient Incorrectness Logic: SIL and Separation SIL. CoRR (2023)
Flavio Ascari, Roberto Bruni, Roberta Gori
Limits and difficulties in the design of under-approximation abstract domains. FoSSaCS (2022)