Can Flash Memory Help in Model Checking?

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Mohou flash paměti pomoci při ověřování modelu?
Autoři

BARNAT Jiří BRIM Luboš EDELKAMP Stefan SULEWSKI Damian ŠIMEČEK Pavel

Rok publikování 2008
Druh Článek ve sborníku
Konference 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova I/O Model Checking; External Memory Algorithmics
Popis Článek pojednává o možnostech použití soudobých externích pamětí založených na principu flash pamětí pro metody formální verifikace, zejména metody ověřování modelu.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.