Self-healing Assurance using Bounded Model Checking

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Self-healing Assurance using Bounded Model Checking
Popis výsledku v původním jazyce
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 boundedmodel checking is possible assurance the correctness of self-healing actions or decide if the detected problem is false alarm or not.<br>
Název v anglickém jazyce
Self-healing Assurance using Bounded Model Checking
Popis výsledku anglicky
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 boundedmodel checking is possible assurance the correctness of self-healing actions or decide if the detected problem is false alarm or not.<br>

Projekt
<a href="/cs/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)