faehrmann - a software project from students of the KIT (Karlsruhe Institute of Technology) for verifying and testing software.