Článek ve sborníku konference

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.
Jazyk publikace:angličtina
Název publikace:Self-healing Assurance using Bounded Model Checking
Název (cs):Self-healing assurance za použití bounded model checkingu
Strany:99-100
Sborník:Computer Aided Systems Theory
Konference:Twelve International Conference On Computer Aided Systems Theory
Místo vydání:Las Palmas de Grand Canaria, ES
Rok:2009
ISBN:978-84-691-8502-5
Vydavatel:Universidad de Las Palmas de Gran Canaria
Klíčová slova
formální verifikace, model checking, strategie record&replay
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=8918}
}

Vaše IPv4 adresa: 3.226.251.81
Přepnout na https