Can Flash Memory Help in Model Checking?

Varování

Publikace nespadá pod Fakultu sportovních studií, 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:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Automatizovaná verifikace softwaru