The inv package

Routines for parsing, writing and accessing invariants.

By Freddy Mang and Shaz Qadeer


This package implements invariant checking. It provides routines for parsing invariants and for interfacing with the symbolic and enumerative reachability engines.
Last updated on 980624 22h10