Experiments regarding the inverse method extended with the integer hull ("RITPS")

<p>This archive contains the benchmarks regarding the evaluation of the inverse method extended with integer hull ("RITPS"):</p> <ul> <li>the version of IMITATOR: <span><a href="https://github.com/imitator-model-checker/imitator/releases/tag/v3.4.0-alpha2">v3.4.0-alpha2</a></span> (Cheese Durian)</li> <li>the source models</li> <li>the script to run all versions of CSMA/CD</li> <li>the expected results (in subdirectory "res")</li> </ul>