Formal verification at higher levels of abstraction.

Daniel Kroening, Sanjit A. Seshia

Browse the full ICCAD paper archive.