Mario Bucev

According to our database, Mario Bucev authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Proving Termination via Measure Transfer in Equivalence Checking.

Dragana Milovancevic, Carsten Fuhs, Mario Bucev, Viktor Kuncak

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Formula Normalizations in Verification.

Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak

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

2022

Formally Verified Quite OK Image Format.

Mario Bucev, Viktor Kuncak

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022