Verification through the principle of least astonishment.

Beth Isaksen, Valeria Bertacco

Browse the full ICCAD paper archive.