Verification with small and short worlds.

Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner

Browse the full FMCAD paper archive.