A lightweight specification language for bounded program verification
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.
Prif Awdur: | |
---|---|
Awduron Eraill: | |
Fformat: | Traethawd Ymchwil |
Iaith: | eng |
Cyhoeddwyd: |
Massachusetts Institute of Technology
2010
|
Pynciau: | |
Mynediad Ar-lein: | http://hdl.handle.net/1721.1/53184 |