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) (1329)
20120930szver_ea02_floyd.pdf (847 KB) (1451)
20120930szver_ea03_hoare.pdf (633 KB) (1146)
20121007szver_ea04_levezetes.pdf (818 KB) (1596)
20121007szver_ea05_nemdet-prog.pdf (771 KB) (984)
20121014szver_ea06_szintezis.pdf (621 KB) (779)
20121024szver_ea07_parh-prog.pdf (767 KB) (888)
20121119szver_ea07_parh-prog-helyes.pdf (672 KB) (1027)
20121119szver_ea08_parh-prog-elemz.pdf (810 KB) (1501)
20121119szver_ea09_parh-prog-szint.pdf (992 KB) (765)
20121210szver_ea10_temporalis-log.pdf (674 KB) (848)
20130107szver_ea11_prog-temp-szem.pdf (619 KB) (733)

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.