A lightweight specification language for bounded program verification

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.

Manylion Llyfryddiaeth
Prif Awdur: Yessenov, Kuat T
Awduron Eraill: Daniel N. Jackson.
Fformat: Traethawd Ymchwil
Iaith:eng
Cyhoeddwyd: Massachusetts Institute of Technology 2010
Pynciau:
Mynediad Ar-lein:http://hdl.handle.net/1721.1/53184