Extensions and generalization of the saturation algorithm in model checking

View/Open

Értekezés (2.510Mb)

Tézisfüzet (magyar) (741.4Kb)

Tézisfüzet (angol) (734.4Kb)

Metadata

Show full item record

URI

http://hdl.handle.net/10890/13340

Collections

Informatikai Tudományok Doktori Iskola [174]

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
Advisor: Majzik, István
Language: en
Document type: Disszertáció