Mgr. Jan Strejček, Ph.D.

Rigorózní práce

Expressiveness and Model Checking of Temporal Logics

Expressiveness and Model Checking of Temporal Logics
Abstract:
The intended thesis is focused on properties of Linear time logic (LTL) and possible solutions of state explosion problem in context of LTL model checking. Although current partial order reduction algorithms solve the problem for stutter-invariant fragment of LTL, the problem for the general case remains open. Recently introduced n-stuttering and general stuttering principles provide a theoretical …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 30. 1. 2007

Obhajoba závěrečné práce

  • Obhajoba proběhla 30. 1. 2007

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masarykova univerzita

Fakulta informatiky

Rigorózní řízení / obor:
Informatika / Informatika