Verifying Invariants Using theorem Proving.

Susanne Graf, Hassen Sadi

Browse the full CAV paper archive.