Detail publikace

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

Originální název

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

Anglický název

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

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

BibTex


@techreport{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",
  annote="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.",
  address="European Comission",
  chapter="57727",
  institution="European Comission",
  year="2007",
  month="august",
  publisher="European Comission",
  type="report"
}