STRASSE simulations are performed within the nptool package version 3 (v4 in progress). Once you have intsalled the softwares (see Setup section), you can find here guidelines to run and analyse simulations with examples and benchmarks.