This directory contains additional information about experiments summarized in the SAFECOMP2020 submission.
- safecomp_results.ods: is an executive summary of reported results for 53 test cases.
- BDMPs.pdf: will give an idea of size and shape of all BDMPs considered. The BDMPs database available online can only be opened in Windows based enviroment unsing Knowledge base tool (KB). All BDMPs are exported as PDF from that KB3 tool and summarized in this document.
- storm-output-dump.txt: is direct output dump of storm model checker. No post processing is done therefore information is quite cluttered. However it will give an idea of processing times, model sizes, and numerical values.
- kb3-examples: provide data/files genertated though expreiments. If someone is already familiar with the modest language, storm model checker and figaro language then he/she can easily relate the information available in these directories.
- PythonScript: This directory contains the python script to perform model-checking on the figaro files. Notice, this script is written on top of storm python bindings, i.e., stormpy. Since Storm and Stormpy are required to run this script, relative paths are not set in the shell scripts of kb3 examples. However, anyone intersted in running the experiments can easily set the paths and reproduce the outputs dumped in storm-output-dump.txt.