= Program Verification Notes =

YOHODA Database of Verification Tools see: References in all.bib CKSSS02. http://anna.fi.muni.cz/yahoda/ 

http://en.wikipedia.org/wiki/Model_checking