Műegyetemi Digitális Archívum
 

Extensions and generalization of the saturation algorithm in model checking

Date

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

OOC works

Abstract

Description

Keywords