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
Identifiers: BME OMIKK katalógus-azonosító: 000712305; BME OMIKK raktári jelzet: K-9714
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