Bc. Ondřej Huvar

Bachelor's thesis

Symbolic Model Checking of Hybrid CTL

Symbolic Model Checking of Hybrid CTL
Anotácia:
Hybridní logika na výpočetních stromech (HCTL) rozšiřuje temporální logiku CTL. Zvýšená expresivita HCTL nám umožňuje popsat různé obecné strukturní vlastnosti systémů, které nejsou vázány na jejich atomické propozice. Tyto vlastnosti, jako třeba existence oscilace nebo několika různých stabilních stavů, hrají často zásadní roli při analýze biologických systémů. Ve zmíněných biologických systémech …viac
Abstract:
Hybrid computation tree logic (HCTL) extends the branching-time temporal logic CTL. The extended expressiveness of HCTL allows specifying general high-level structural properties that are not tied to the system's atomic propositions. These properties, such as the existence of (arbitrary) oscillation or multiple steady states within the system's dynamics, often play a crucial role in analysing biological …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 19. 5. 2022

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

  • Obhajoba proběhla 29. 6. 2022
  • Vedúci: prof. RNDr. Luboš Brim, CSc.
  • Oponent: RNDr. Matej Troják

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