A Verified Model Checker for the Modal µ-calculus in Coq.

Christoph Sprenger

Browse the full TACAS paper archive.