Result Details

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

DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T. SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications. Brno: European Comission EU, 2007. 21 p.
Type
report
Language
English
Authors
Dudka Vendula, Ing., DITS (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Letko Zdeněk, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
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.

Published
2007
Pages
21
Publisher
European Comission EU
Place
Brno
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"
}
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top