Caesar: A Deductive Verifier for Probabilistic Programs.

Philipp Schrer, Kevin Batz, Umut Yigit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Browse the full CAV paper archive.