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

English Title

Self-healing Assurance using Bounded Model Checking

Type

conference paper

Language

en

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.

English 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

RIV year

2009

Released

15.02.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

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

99

Pages to

100

Pages count

2

Documents

BibTex


@inproceedings{BUT30204,
  author="Vendula {Dudka} and Tomáš {Vojnar} and Bohuslav {Křena}",
  title="Self-healing Assurance using Bounded Model Checking",
  annote="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.",
  address="The Universidad de Las Palmas de Gran Canaria",
  booktitle="Computer Aided Systems Theory",
  chapter="30204",
  edition="NEUVEDEN",
  howpublished="print",
  institution="The Universidad de Las Palmas de Gran Canaria",
  year="2009",
  month="february",
  pages="99--100",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  type="conference paper"
}