Efficient Fixpoint Computation for Invariant Checking.

Kavita Ravi, Fabio Somenzi

Browse the full ICCD paper archive.