The img package

Methods for performing image computations.

By Marco Roveri


This package is used to compute the image (forward or backward) of a set. 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 wich is independent from the techique choosen to represent the transition relation. Actually four methods are offered to users:
Last updated on 990908 16h51