J 2011

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

BRIM, Luboš a Jiří BARNAT

Základní údaje

Originální název

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

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š (203 Česká republika, garant, domácí) a Jiří BARNAT (203 Česká republika, domácí)

Vydání

Electronic Proceedings in Theoretical Computer Science, 2011, 2075-2180

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14330/11:00050201

Organizační jednotka

Fakulta informatiky

DOI

UT WoS

000219679600002

Klíčová slova česky

Ověřování modelu; hardvérové platformy; paralelismus

Klíčová slova anglicky

Model checking; hardware platforms; parallelism

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 11. 4. 2012 10:21, prof. RNDr. Jiří Barnat, Ph.D.

Anotace

ORIG CZ

V originále

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.

Česky

Č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.

Návaznosti

GAP202/11/0312, projekt VaV
Název: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)
Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy