Implementing a CTL Model Checker with μ

Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti

Browse the full FORTE paper archive.