Detail publikace

Self-healing Assurance using Bounded Model Checking

DUDKA, V. VOJNAR, T. KŘENA, B.

Originální název

Self-healing Assurance using Bounded Model Checking

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

formal verification, model checking, record&replay strategy

Autoři

DUDKA, V.; VOJNAR, T.; KŘENA, B.

Rok RIV

2009

Vydáno

15. 2. 2009

Nakladatel

The Universidad de Las Palmas de Gran Canaria

Místo

Las Palmas de Grand Canaria

ISBN

978-84-691-8502-5

Kniha

Computer Aided Systems Theory

Strany od

99

Strany do

100

Strany počet

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