Publication Details
SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications
DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications. Brno: European Comission EU, 2007.
Czech title
SHADOWS - Výsledek D3.2.3: Zpráva o bezpečnosti oprav programů
Type
technical report
Language
english
Authors
Dudka Vendula, Ing. (FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Letko Zdeněk, Ing. (FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Letko Zdeněk, Ing. (FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords
Self-healing, concurrency, assurance, model checking, static analysis.
Abstract
The self-healing methodology as studied within the SHADOWS project consists of four steps: problem detection, problem localization, problem healing, and healing assurance. In this report, we discuss the initial investigation done towards healing assurance for the concurrency code fixing. Especially, we concentrate on two classes of formal methods: model checking and static analysis.
Published
2007
Pages
21
Publisher
European Comission EU
Place
Brno, CZ
BibTeX
@TECHREPORT{FITPUB8505, author = "Vendula Dudka and Bohuslav K\v{r}ena and Zden\v{e}k Letko and Tom\'{a}\v{s} Vojnar", title = "SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications", pages = 21, year = 2007, location = "Brno, CZ", publisher = "European Comission EU", language = "english", url = "https://www.fit.vut.cz/research/publication/8505" }