Richard Mayr's Software tools

These are some experimental software tools for the verification of particular classes of infinite-state systems.

They are released under the GPL.

  1. PPDA-CHECK. An experimental tool for the verification of probabilistic pushdown automata.

    Requirements: An installation of QEPCAD and a C-compiler.

    Download PPDA-CHECK.

  2. BISIMULATION-BASE. An experimental tool for computing bisimulation bases w.r.t. context-free processes and finite-state processes.

    To be completed.