Muse : A Computer Assisted Verification System.

J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson

Browse the full SP paper archive.