Extensions and generalization of the saturation algorithm in model checking

Title: Extensions and generalization of the saturation algorithm in model checking
Title and subtitle in another language: A szaturáció algoritmus kiterjesztése és általánosítása modellellenőrzéshez
Author: Molnár, Vince
Date of issue: 2019
Date of defence: 2020-02-18
Advisor: Majzik, István
Language: en
Document type: Disszertáció
Document genre: Ph.D. Thesis
University: Budapesti Műszaki és Gazdaságtudományi Egyetem
Faculty: Villamosmérnöki és Informatikai Kar
Doctoral school: Informatikai Tudományok Doktori Iskola