Lazy Theorem Proving for Bounded Model Checking over Infinite Domains.

Leonardo Mendona de Moura, Harald Rue, Maria Sorea

Browse the full CADE paper archive.