JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  news | download | background ]

McRaceTrack Model Checker

News

First public release on December 5, 2015.

Download

[ mcracetrack-4.2.tar.gz  | mcracetrack-4.1.tar.gz ]

Actual solutions produced by the tool:

[ solution4.2.txt (default)  | solution4.2g.txt (garbage collection)  | solution4.2c.txt (counting) ]

Background

This is a model checker and visualizer for the c't race track puzzle as published in the German computer journal c't 2015 issue 25. See the README, which comes with the source code for more information on McRaceTrack. It also has been used in our course on Model Checking to help explaining explicit state model checking.

You find a video of visualizing the hybrid forward and backward search of this model checker as https://youtu.be/HVhyieBj9uY on YouTube. A local copy mcjku1i5.mp4 is available too.