Formalne metode projektovanja i verifikacije hardvera

Nastavnici:

dr Staniša Dautović, docent

kancelarija: Blok F, 1.sprat, kabinet 116
telefon: 485-2582
e-mail:
dautovic (at) uns.ac.rs

Asistenti:

dr Vuk Vranjković

kancelarija: Blok F, 3.sprat, kabinet 301
telefon: 485-2537
e-mail:
bykbpa (at) gmail.com

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

Skripta v2.0.1

 
Predavanja:

PSL

Metodologija

Primer za 3. kolokvijum: pdf

Korisni link-ovi:

nusmv.irst.itc.it

www.prosyd.org

www.satlive.org

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

www.cs.cmu.edu/~modelcheck

www.prismmodelchecker.org

spinroot.com/spin/whatispin.html

 

Dosadasnji rezultati:

ee 57 2011 9 / 9  
ee 103 2011 6 7 0 2
ee 16 2011 6 10 10  
ee 13323   5 3 10 3