Runtime Checking for Program Verification.

Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard

Browse the full RV paper archive.