Bc. Lukáš Holík, Ph.D.

Master's thesis

Rozhodnutelnost v temporálních logikách

Decidability in temporal logics
Abstract:
Práce obsahuje přehled o rozhodnutelnosti, model checkingu a vyjadřovací síle výběru modálních a tempoprálních logik používaných v kontextu usuzování o výpočetních systémech.
Abstract:
Thesis contains view of decidability, model checking and expressive power of selection of modal and temporal logics used for reasonig about computational systems.
 

Keywords

modální a temporální logika modal and temporal logic model checking splnitelnost decidability vyjadřovací síla expressive power
 
Language used: Czech
Date on which the thesis was submitted / produced: 14. 2. 2006
Identifier: https://is.muni.cz/th/dg07t/

Thesis defence

  • Date of defence: 14. 2. 2006
  • Supervisor: prof. RNDr. Luboš Brim, CSc.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution