Exploiting state encoding for invariant generation in induction-based property checking.

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Browse the full ASPDAC paper archive.