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

ProgramVerification (last edited 2007-02-13 21:49:54 by dot)