Certifying Probabilistic Model Checking?

Presenter: Bohan Ma

Author: Nils Froleyks et al. (CAV 2025); Krishnendu Chatterjee et al. (TACAS 2025)

Abstract: Discuss the motivation and feasibility of extending the certification approach of CAV'25 to probabilistic model checking.

URL:

• https://link.springer.com/chapter/10.1007/978-3-031-98668-0_14
• https://link.springer.com/chapter/10.1007/978-3-031-90653-4_7