Can Flash Memory Help in Model Checking?

• 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
• 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

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Institut Teoretické Informatiky
• Automatizovaná verifikace softwaru