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