Detail publikace

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

DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications. Brno: Evropská komise EU, 2007.
Název česky
SHADOWS - Výsledek D3.2.3: Zpráva o bezpečnosti oprav programů
Typ
technická zpráva
Jazyk
angličtina
Autoři
Dudka Vendula, Ing. (FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing. (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
Evropská komise EU
Místo
Brno, CZ
BibTeX
@TECHREPORT{FITPUB8505,
   author = "Vendula Dudka and Bohuslav K\v{r}ena and Zden\v{e}k Letko and Tom\'{a}\v{s} Vojnar",
   title = "SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications",
   pages = 21,
   year = 2007,
   location = "Brno, CZ",
   publisher = "European Comission EU",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8505"
}
Nahoru