Detail publikace

Self-healing Assurance using Bounded Model Checking

DUDKA Vendula, VOJNAR Tomáš a KŘENA Bohuslav. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2009, s. 99-100. ISBN 978-84-691-8502-5.
Název česky
Self-healing assurance za použití bounded model checkingu
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Klíčová slova

formální verifikace, model checking, strategie record&replay

Abstrakt

V článku je popsán princip využití kombinace bounded model checkingu a strategie pro navigaci stavovým prostorem (record&repaly) do požadovaného stavu. Pomocí bounded model checkingu je možné ověřit správnosti self-healing akce nebo je možné určit, zda detekovaný problém je pouze false alarm či nikoliv.

Rok
2009
Strany
99-100
Sborník
Computer Aided Systems Theory
Konference
Twelve International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-691-8502-5
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Grand Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB8918,
   author = "Vendula Dudka and Tom\'{a}\v{s} Vojnar and Bohuslav K\v{r}ena",
   title = "Self-healing Assurance using Bounded Model Checking",
   pages = "99--100",
   booktitle = "Computer Aided Systems Theory",
   year = 2009,
   location = "Las Palmas de Grand Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-691-8502-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8918"
}
Nahoru