Platform Dependent Verification: On Engineering Verification Tools for 21st Century

Varování

Publikace nespadá pod Lékařskou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Verifikace na konkrétních platformách: Inženýrství verifikačních nástrojů pro 21. století
Autoři	BRIM Luboš BARNAT Jiří
Rok publikování	2011
Druh	Článek v odborném periodiku
Časopis / Zdroj	Electronic Proceedings in Theoretical Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	EPTCS
Doi	http://dx.doi.org/10.4204/EPTCS.72.1
Obor	Informatika
Klíčová slova	Model checking; hardware platforms; parallelism
Popis	Článek podává přehled nedávných výsledků v oblasti enumerativního ověřování modelu lineární temporální logiky na různých výpočetních platformách.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy Software Components in Embedded Systems: Development and Verification