Parameter Synthesis for Systems with Real Time – Mgr. Peter Bezděk, Ph.D.
Mgr. Peter Bezděk, Ph.D.
Advanced ('rigorózní') thesis
Parameter Synthesis for Systems with Real Time
Parameter Synthesis for Systems with Real Time
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 13. 10. 2014
Identifier:
https://is.muni.cz/th/c3v4n/
Thesis defence
- Date of defence: 13. 1. 2015
- Reader: Mgr. Lukáš Holík, Ph.D., RNDr. Vojtěch Řehák, Ph.D.
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 informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / field:
Informatics / Informatics
Theses on a related topic
-
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