Commit 8330aa50 authored by Michaela Klauck's avatar Michaela Klauck


parent 4fe5c879
Additional material for the MMB2020 paper "A Modest Race for Deep Statistical Model Checking":
- models, Jani-Files,
- generators and scripts
- racetrack models (in ASCII format, Jani-Files can be generated using the generator)
- generator/scripts to generate Jani representations of the racetrack models
- the version of The Modest Toolset with the Oracle option to resolve nondeterminism in modes used in the paper
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment