Effective domain-specific formal verification techniques

Link to refer to this document:

Title: Effective domain-specific formal verification techniques
Title and subtitle in another language: Hatékony szakterület-specifikus formális ellenőrzési technikák
Author: Hajdu, Ákos
Date of issue: 2020
Date of defence: 2020-11-24
Advisor: Micskei, Zoltán
Language: en
Identifiers: BME OMIKK katalógus-azonosító: 000712339; BME OMIKK raktári jelzet: K-9724
Document type: Disszertáció
Document genre: Doktori (Ph.D.) értekezés / 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