Zpět na vyhledávání

Mgr. Jan Strejček, Ph.D.

Advanced ('rigorózní') thesis

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 …more
 

Keywords

Linear Temporal Logic expressiveness stuttering model checking
 
Language used: English
Date on which the thesis was submitted / produced: 30. 1. 2007
Identifier: https://is.muni.cz/th/zx2ly/

Thesis defence

  • Date of defence: 30. 1. 2007

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

Masaryk University

Faculty of Informatics

Advanced ('rigorózní řízení') programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.