Three papers accepted for CAV 2023

Three papers (co)-authored by ERATO MMSD researchers accepted for presentation at CAV 2023 – 35th International Conference on Computer Aided Verification.

The CAV Conference is a top international venue on computer-aided formal analysis methods for hardware and software systems. CAV 2023 will take place in Paris, Frande, in July 2023.