How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok TR - Clyde - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2008-03-29 15:16:22		How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok TR #03-04a Add to Reading List Source URL: curtclifton.net Download Document from Source Website File Size: 269,33 KB Share Document on Facebook