Detail publikace

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. p. 0-0.
Název česky
SHADOWS - Výsledek D3.2.3: Zpráva o bezpečnosti oprav programů
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Dudka Vendula, Ing.
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

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

Abstrakt

Metodologie pro automatické opravy chyb má čtyři kroky: detekce problému, lokalizace problému, oprava prolému a ověření korektnosti opravy. V této zprávě popisujeme počáteční výzkum možností ověřování korektnosti provádění oprav paralelního softwaru. Zejména se zaměřujeme na využití dvou skupin formálních metod: model checkingu a statické analýzy.

Rok
2007
Strany
21
Vydavatel
European Comission EU
Místo
Brno
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 EU",
  address="Brno",
  pages="21"
}
Nahoru