Three papers (co)-authored by ERATO MMSD researchers accepted for presentation at CAV 2023 – 35th International Conference on Computer Aided Verification.
- Compositional Probabilistic Model Checking with String Diagrams of MDPs. Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
- Online Causation Monitoring of Signal Temporal Logic. Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
- Exploiting Adjoints in Property Directed Reachability Analysis. Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
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.