Publication detail

Self-healing Assurance using Bounded Model Checking

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"
}