Publication Details

Self-healing Assurance using Bounded Model Checking

DUDKA, V.; VOJNAR, T.; KŘENA, B. Self-healing Assurance using Bounded Model Checking. Computer Aided Systems Theory. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2009. p. 99-100. ISBN: 978-84-691-8502-5.
Czech title
Self-healing assurance za použití bounded model checkingu
Type
conference paper
Language
English
Authors
Dudka Vendula, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)
Keywords

formal verification, model checking, record&replay strategy

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.

Published
2009
Pages
99–100
Proceedings
Computer Aided Systems Theory
Conference
Twelve International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-691-8502-5
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Las Palmas de Grand Canaria
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"
}
Back to top