Readme.md

Supplementary material for Lambda Mu 2022 paper

This directory contains information to reproduce the results reported in the Lambda Mu 22 paper.

Files

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.