This directory contains information to reproduce the results reported in the Lambda Mu 22 paper.
Simulator contains the figaro simulator. StormFigaro contains the source code for stormfigaro tool TestCases contains the benchmarks along with results reported in the paper.
Help can be provided to reproduce the results.