A liveness checking algorithm that counts.

Koen Claessen, Niklas Srensson

Browse the full FMCAD paper archive.