Extensions and generalization of the saturation algorithm in model checking
Date
Authors
Advisor
Type
Disszertáció
Language
en
Alternative
A szaturáció algoritmus kiterjesztése és általánosítása modellellenőrzéshez
Date Defence
2020-02-18
Doctoral School
Informatikai Tudományok Doktori Iskola
Faculty
Villamosmérnöki és Informatikai Kar
Gender
Ph.D. Thesis
University
Budapesti Műszaki és Gazdaságtudományi Egyetem