Detail publikace

Self-healing Assurance using Bounded Model Checking

Originální název

Self-healing Assurance using Bounded Model Checking

Anglický název

Self-healing Assurance using Bounded Model Checking

Jazyk

en

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.

Anglický 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.

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