Szintézis és Verifikáció

Az ELTE IK Programtervező Informatikus MSc képzésén található Szintézis és Verifikáció nevű tantárgy jegyzetei.

A Dr. Gregorics Tibor által tartott előadások tőle származó órai prezentációit minden héten ebbe a listába töltöm fel:

20120930szver_ea01_alapfogalmak.pdf (826 KB) (1370)
20120930szver_ea02_floyd.pdf (847 KB) (1483)
20120930szver_ea03_hoare.pdf (633 KB) (1187)
20121007szver_ea04_levezetes.pdf (818 KB) (1630)
20121007szver_ea05_nemdet-prog.pdf (771 KB) (1026)
20121014szver_ea06_szintezis.pdf (621 KB) (806)
20121024szver_ea07_parh-prog.pdf (767 KB) (929)
20121119szver_ea07_parh-prog-helyes.pdf (672 KB) (1063)
20121119szver_ea08_parh-prog-elemz.pdf (810 KB) (1539)
20121119szver_ea09_parh-prog-szint.pdf (992 KB) (799)
20121210szver_ea10_temporalis-log.pdf (674 KB) (886)
20130107szver_ea11_prog-temp-szem.pdf (619 KB) (766)

Megjegyzés a későbbi félévek számára: A vetítések módosulhatnak, ezért az aktuális félévnek megfelelő diasorok az előadó honlapján mindig elérhetőek.