B 2005

Linear Temporal Logic: Expressiveness and Model Checking

STREJČEK, Jan

Základní údaje

Originální název

Linear Temporal Logic: Expressiveness and Model Checking

Název česky

Lineární temporální logika: vyjadřovací síla a metoda ověřování modelu

Autoři

Vydání

148 s. 2005

Nakladatel

Faculty of Informatics, Masaryk University

Další údaje

Jazyk

angličtina

Typ výsledku

Odborná kniha

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

Linear temporal logic, expressiveness, model checking, stuttering, Thesis
Změněno: 3. 1. 2007 17:02, prof. RNDr. Jan Strejček, Ph.D.

Návaznosti

MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy