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

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní 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.