Seminar sutra, 1.7.
6 views
Skip to first unread message
neva....@gmail.com
Jun 30, 2011, 2:45:30 PM6/30/11
to Seminar za teorijsko računarstvo
Poštovani i dragi kolege,
šaljem vanredni i vrlo kasni poziv na seminar kojeg će održati sutra,
1.7. 2011. u 15h u predavaonici 105 PMF-MO student Ivan Rančić, a u
sklopu kolegija Formalne metode u računarstvu.
Naslov: Formalna verifikacija softvera
Sadržaj:
Seminar daje kratki pregled dvije najvažnije skupine tehnika u
formalnoj verifikaciji softvera: Model Checking (provjera modela) i
Theorem Proving (formalno dokazivanje teorema). Dat će se uvod u
metode formalne specifikacije softvera, te predstaviti neki alati
korišteni za formalnu verifikaciju. Ukratko će se demonstrirati
primjena tehnika na operacije nad jednostavnim strukturama podataka.
Srdačan pozdrav, dobrodošli!
Neva Slani
šaljem vanredni i vrlo kasni poziv na seminar kojeg će održati sutra,
1.7. 2011. u 15h u predavaonici 105 PMF-MO student Ivan Rančić, a u
sklopu kolegija Formalne metode u računarstvu.
Naslov: Formalna verifikacija softvera
Sadržaj:
Seminar daje kratki pregled dvije najvažnije skupine tehnika u
formalnoj verifikaciji softvera: Model Checking (provjera modela) i
Theorem Proving (formalno dokazivanje teorema). Dat će se uvod u
metode formalne specifikacije softvera, te predstaviti neki alati
korišteni za formalnu verifikaciju. Ukratko će se demonstrirati
primjena tehnika na operacije nad jednostavnim strukturama podataka.
Srdačan pozdrav, dobrodošli!
Neva Slani
Reply all
Reply to author
Forward
0 new messages