Parameter Synthesis for Systems with Real Time – Mgr. Peter Bezděk, Ph.D.
Mgr. Peter Bezděk, Ph.D.
Rigorózní práce
Parameter Synthesis for Systems with Real Time
Parameter Synthesis for Systems with Real Time
Anotace:
S rostoucím výskytem počítačových systémů v našich životech získává problém určení jestli počítačový systém poskytuje zamýšlené chování na významu. Jednou z populárních technik formální verifikace systémů je ověřování modelů. Tato technika poskytuje možnost automatické kontroly logické korektnosti daného systému. Velice často korektnost závisí také na přesném načasování akcí systému, a proto je existence …víceAbstract:
The problem of deciding whether a computer system delivers an intended behaviour with respect to the given specification gains in importance as computer systems became an essential part of our lives. One of the popular automatic techniques to formal verification of systems is model checking. This technique is applied to check for logical correctness of the systems. Very often the correctness of a time …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 13. 10. 2014
Identifikátor:
https://is.muni.cz/th/c3v4n/
Obhajoba závěrečné práce
- Obhajoba proběhla 13. 1. 2015
- Oponent: Mgr. Lukáš Holík, Ph.D., RNDr. Vojtěch Řehák, Ph.D.
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 informatikyMasarykova univerzita
Fakulta informatikyRigorózní řízení / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Parameter Synthesis for Systems with Real Time
Peter Bezděk -
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds
Jan Krčál -
Parameter Synthesis for Systems with Real Time
Peter Bezděk -
Parameter Synthesis in Continuous-Time Stochastic Systems
Ľuboš Korenčiak -
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Jana Dražanová -
Linear Temporal Logic and omega-automata
František Blahoudek -
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Robustness Analysis of Extended Signal Temporal Logic STL*
Tomáš Vejpustek