Přístupnostní navigace
E-application
Search Search Close
Publication detail
HRUBÁ, V. KŘENA, B. VOJNAR, T.
Original Title
Using JavaPathFinder for Self-healing Assurance
Type
conference paper
Language
English
Original Abstract
In this paper, we deal with application of formal methods within self-healing of concurrency related problems. We are currently interested in the Java programming language, and therefore we concentrate mainly on the model checker Java PathFinder (JPF). We have implemented the so-called record&replay trace strategy for navigation through a state space in order to get closer to an error state and to perform bounded model checking in the problem neighbourhood only. It allows us to increase our confidence about particular system properties in the limited time available.
Keywords
Self-healing, assurance, concurrency, model checking, Java PathFinder.
Authors
HRUBÁ, V.; KŘENA, B.; VOJNAR, T.
RIV year
2007
Released
26. 10. 2007
Publisher
Ing. Zdeněk Novotný, CSc.
Location
Znojmo
ISBN
978-80-7355-077-6
Book
Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007
Pages from
67
Pages to
73
Pages count
7
BibTex
@inproceedings{BUT25351, author="Vendula {Dudka} and Bohuslav {Křena} and Tomáš {Vojnar}", title="Using JavaPathFinder for Self-healing Assurance", booktitle="Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007", year="2007", pages="67--73", publisher="Ing. Zdeněk Novotný, CSc.", address="Znojmo", isbn="978-80-7355-077-6" }