Abstract and Model Check While You Prove.

Hassen Sadi, Natarajan Shankar

Browse the full CAV paper archive.