Model Checking of Control-User Systems – Mgr. Pavlína Moravcová Vařeková
Mgr. Pavlína Moravcová Vařeková
Doctoral thesis
Model Checking of Control-User Systems
Model Checking of Control-User Systems
Abstract:
Řada reálných softwarových systémů (tzv. kontroler-uživatel systémů) je složena ze stabilní části (kontroler) a libovolného počtu dynamických komponent stejného typu (uživatel). Modely těchto systémů jsou parametrizovány počtem komponent uživatelů a tudíž stavové prostory těchto modelů mají potenciálně nekonečně mnoho stavů. Tradiční techniky na ověřování modelu (model checking) proto mohou být použity …moreAbstract:
Many real software systems, so called control-user systems, are composed of a stable part (control component) and a number of dynamic components of the same type (user components). Models of these systems are parametrised by the number of user components and thus have infinite size of state space. Traditional model checking techniques can be used to verify only specific instances of the systems. This …more
Language used: English
Date on which the thesis was submitted / produced: 10. 2. 2009
Identifier:
https://is.muni.cz/th/sntlw/
Thesis defence
- Date of defence: 25. 5. 2009
- Supervisor: prof. RNDr. Ivana Černá, CSc.
- Reader: dr. Markus Lumpe, Mgr. Jiří Adámek, Ph.D.
Citation record
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 InformaticsDoctoral programme / field:
Informatics (4-years) / Informatics
Theses on a related topic
-
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Barbora Zimmerová -
Formal Verification of Component Interaction in Component-Based Systems
Nikola Beneš -
Formal Verification of Finite-State Stochastic Systems
Vojtěch Forejt -
Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
Himanshu Kumar Haran