Self-healing Assurance using Bounded Model Checking

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU82595" target="_blank" >RIV/00216305:26230/09:PU82595 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Self-healing Assurance using Bounded Model Checking

Original language description

In this paper is described a principle of method for verification. There is described combination of bounded model checking and record&amp;replay strategy, which is using for navigation through state space to suspicious state. Through the use of boundedmodel checking is possible assurance the correctness of self-healing actions or decide if the detected problem is false alarm or not.<br>

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Advanced Formal Approaches in the Design and Verification of Computer-Based Systems</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2009

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Computer Aided Systems Theory

ISBN

978-84-691-8502-5

ISSN

—

e-ISSN

—

Number of pages

2

Pages from-to

—

Publisher name

The Universidad de Las Palmas de Gran Canaria

Place of publication

Las Palmas de Grand Canaria

Event location

Las Palmas de Gran Canaria, Canary Islands

Event date

Feb 15, 2009

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—