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

Logo poskytovatele

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:

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

Další info