Flavio Ascari

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

Collaborative distances:

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

2024

Limits and Difficulties in the Design of Under-Approximation Abstract Domains.

Flavio Ascari, Roberto Bruni, Roberta Gori

ACM Trans. Program. Lang. Syst., September, 2024

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