Tools

FIG: Finite Improbability Generator

FIG 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.

Bluemoon

Bluemoon 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.

Powered by Drupal