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) (1377)
20120930szver_ea02_floyd.pdf (847 KB) (1488)
20120930szver_ea03_hoare.pdf (633 KB) (1199)
20121007szver_ea04_levezetes.pdf (818 KB) (1640)
20121007szver_ea05_nemdet-prog.pdf (771 KB) (1035)
20121014szver_ea06_szintezis.pdf (621 KB) (813)
20121024szver_ea07_parh-prog.pdf (767 KB) (934)
20121119szver_ea07_parh-prog-helyes.pdf (672 KB) (1075)
20121119szver_ea08_parh-prog-elemz.pdf (810 KB) (1548)
20121119szver_ea09_parh-prog-szint.pdf (992 KB) (804)
20121210szver_ea10_temporalis-log.pdf (674 KB) (893)
20130107szver_ea11_prog-temp-szem.pdf (619 KB) (772)

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.