Přístupnostní navigace
E-application
Search Search Close
Publication detail
DUDKA, V. VOJNAR, T. KŘENA, B.
Original Title
Self-healing Assurance using Bounded Model Checking
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
In this paper is described a principle of method for verification. There is described combination of bounded model checking and record&replay strategy, which is using for navigation through state space to suspicious state. Through the use of bounded model checking is possible assurance the correctness of self-healing actions or decide if the detected problem is false alarm or not.
Keywords
formal verification, model checking, record&replay strategy
Authors
DUDKA, V.; VOJNAR, T.; KŘENA, B.
RIV year
2009
Released
15. 2. 2009
Publisher
The Universidad de Las Palmas de Gran Canaria
Location
Las Palmas de Grand Canaria
ISBN
978-84-691-8502-5
Book
Computer Aided Systems Theory
Pages from
99
Pages to
100
Pages count
2
BibTex
@inproceedings{BUT30204, author="Vendula {Dudka} and Tomáš {Vojnar} and Bohuslav {Křena}", title="Self-healing Assurance using Bounded Model Checking", booktitle="Computer Aided Systems Theory", year="2009", pages="99--100", publisher="The Universidad de Las Palmas de Gran Canaria", address="Las Palmas de Grand Canaria", isbn="978-84-691-8502-5" }