Tools
 |
FIG: Finite Improbability GeneratorFIG performs model analysis by simulation in rare event regimes. It employs importance splitting in a novel approach, deriving automatically a compositional importance function from the model and property query. |
 |
BluemoonBluemoon is a prototypical tool for rare event simulation using importance splitting. Its major innovation is the automatic derivation of the importance (or score) function. It is developed as an extesion of the PRISM tool. |