Mesterséges Intelligencia és Rendszertervezés Tanszék
absztrakció (2) · absztrakció finomítás (1) · absztrakt interpretáció (1) · állapottérkép (2) · C (1) · CEGAR (4) · cfa (1) · elérhetőségi analízis (1) · ellenőrzési technikák (1) · fomrális verifikáció (1) · fordítóprogram (1) · formális módszerek (1) · formális verifikáció (3) · Gamma (1) · hierarchikus (1) · integráció (1) · korlátos modellellenőrzés (2) · LLVM (1) · memóriamodell (1) · modellellenőrzés (3) · Petri háló (1) · PLC (1) · program analízis (1) · részleges rendezés redukció (1) · SAT (1) · SMT (2) · smt-lib (1) · statikus analízis (1) · statikus analízis eszköz (1) · szoftver verifikáció (1) · szorzat-alapú absztrakció (1) · Theta (2) · Theta* (1) · többszálú (1) · verifikáció (1)
Összesen 10 szakdolgozat és diplomaterv. Összes téma megtekintése »