Conference paper

DUDKA Vendula, VOJNAR Tomáš and KŘENA Bohuslav. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2009, pp. 99-100. ISBN 978-84-691-8502-5.
Publication language:english
Original title:Self-healing Assurance using Bounded Model Checking
Title (cs):Self-healing assurance za použití bounded model checkingu
Pages:99-100
Proceedings:Computer Aided Systems Theory
Conference:Twelve International Conference On Computer Aided Systems Theory
Place:Las Palmas de Grand Canaria, ES
Year:2009
ISBN:978-84-691-8502-5
Publisher:The Universidad de Las Palmas de Gran Canaria
Keywords
formal verification, model checking, record&replay strategy
Annotation
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{
   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?id=8918}
}

Your IPv4 address: 54.90.159.192
Switch to IPv6 connection

DNSSEC [dnssec]