The img package

Methods for performing image computations.

By Marco Roveri and Emanuele Olivetti


This package is used to compute the image (forward or backward) of a set of states. The problem of computing images is fundamental in many symbolic analisys techniques (reachability analisys, model checking of CTL formulas, ...). The "img" package offers the user an interface which is independent from the techique choosen to represent the transition relation. Actually 3 methods are offered to users:
Last updated on 1020327 15h41