Technická zpráva

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.
Jazyk publikace:angličtina
Název publikace:SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications
Název (cs):SHADOWS - Výsledek D3.2.3: Zpráva o bezpečnosti oprav programů
Strany:21
Místo vydání:Brno, CZ
Rok:2007
Vydavatel:Evropská komise EU
Klíčová slova
Self-healing, concurrency, assurance, model checking, static analysis.
Anotace
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.
BibTeX:
@TECHREPORT{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=8505}
}

Vaše IPv4 adresa: 18.205.176.100
Přepnout na https