Formalne metode projektovanja i verifikacije hardvera

Profesor i asistent:

dr Vuk Vranjković

Skripta za vezbe iz predmeta Formalne metode projektovanja i verifikacije hardvera:

Skripta v2.0.1

Predavanja:

PSL

Metodologija

ROBDD

Korisni link-ovi:

www.prosyd.org

www.satlive.org

www.haifa.ibm.com/projects/verification/sugar/index.html

www.cs.cmu.edu/~modelcheck

spinroot.com/spin/whatispin.html