Technical report

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.
Publication language:english
Original title:SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications
Title (cs):SHADOWS - Výsledek D3.2.3: Zpráva o bezpečnosti oprav programů
Place:Brno, CZ
Publisher:European Comission EU
Self-healing, concurrency, assurance, model checking, static analysis.
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.
   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 = {}

Your IPv4 address: