Efficient Fixpoint Computation for Invariant Checking.

Fri, 01 Jan 1999 00:00:00 +0100

Kavita Ravi, Fabio Somenzi:
Efficient Fixpoint Computation for Invariant Checking. ICCD 1999: 467-