SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications

DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

Original Title

SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications

English Title

SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications

Type

Report

Original 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.

English 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.

Keywords

Self-healing, concurrency, assurance, model checking, static analysis.

Key words in English

Self-healing, concurrency, assurance, model checking, static analysis.

Authors

DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

Released

31.08.2007

Publisher

European Comission EU

Location

Brno

Pages count

21

Full text in the Digital Library

http://hdl.handle.net/

BibTex

@misc{BUT57727,
  author="Vendula {Dudka} and Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar}",
  title="SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications",
  year="2007",
  pages="21",
  publisher="European Comission EU",
  address="Brno"
}