A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
FIG: The Finite Improbability Generator
[chapter]
2020
Lecture Notes in Computer Science
This paper introduces the statistical model checker FIG 1.2, that estimates transient and steady-state reachability properties in stochastic automata. This software tool specialises in Rare Event Simulation via importance splitting, and implements the algorithms restart and Fixed Effort. FIG is push-button automatic since the user need not define an importance function: this function is derived from the model specification plus the property query. The tool operates with Input/Output Stochastic
doi:10.1007/978-3-030-45190-5_27
fatcat:yuhgezuz6vd75fd2rd2ka655hu