Absztrakt interpretációt használó keresési stratégiák Petri-háló alapú modellekhez

Típus: 
Kari TDK
Félév: 
2014. ősz
Tématerület: 
Kritikus beágyazott rendszerek
Konzulens (belső): 
Vörös András
Konzulens (belső): 
Semeráth Oszkár
Konzulens (belső): 
Tóth Tamás
Jutalom: 
2. helyezés