Flavio Ascari

According to our database, Flavio Ascari authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Sufficient Incorrectness Logic: SIL and Separation SIL.

Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo

CoRR, 2023

Logics for Extensional, Locally Complete Analysis via Domain Refinements.

Flavio Ascari, Roberto Bruni, Roberta Gori

Proceedings of the Programming Languages and Systems, 2023

Exploiting Adjoints in Property Directed Reachability Analysis.

Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Limits and difficulties in the design of under-approximation abstract domains.

Flavio Ascari, Roberto Bruni, Roberta Gori

Proceedings of the Foundations of Software Science and Computation Structures, 2022