Detail publikace

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

HRUBÁ, V., KŘENA, B., LETKO, Z., VOJNAR, T.

Originální název

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

Typ

výzkumná zpráva

Jazyk

angličtina

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.

Klíčová slova

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

Autoři

HRUBÁ, V., KŘENA, B., LETKO, Z., VOJNAR, T.

Rok RIV

2007

Vydáno

31. 8. 2007

Nakladatel

European Comission

Místo

Brno

Strany počet

21

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",
  year="2007",
  publisher="European Comission",
  address="Brno",
  pages="21"
}