D 2005

Distributed Analysis of Large Systems

BARNAT, Jiří, Luboš BRIM a Ivana ČERNÁ

Základní údaje

Originální název

Distributed Analysis of Large Systems

Název česky

Distribuovaná analýza rozsáhlých systémů

Autoři

BARNAT, Jiří (203 Česká republika), Luboš BRIM (203 Česká republika, garant) a Ivana ČERNÁ (203 Česká republika)

Vydání

Amsterdam, Formal Methods for Components and Objects, od s. 31-35, 4 s. 2005

Nakladatel

CWI Amsterdam

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

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

Kód RIV

RIV/00216224:14330/05:00012771

Organizační jednotka

Fakulta informatiky

UT WoS

000240360000013

Klíčová slova anglicky

distributed LTL model checking

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 1. 6. 2009 21:16, prof. RNDr. Jiří Barnat, Ph.D.

Anotace

ORIG CZ

V originále

Tutorial lecture giving an overview of explicit distributed algorithms for LTL model checking. The lecture reviews property driven distribution of state spaces, algorithms exploiting breadth firs search, set based algorithms based on the principle One way catch them young and its reverse, accepting predecessoros based approach, dependency structure based depth first search and reduction to the negative cycle problem.

Česky

Tutorial poskytující přehled technik a přístupů používaných v explicitním ověřování lineárních temporálních vlstností.

Návaznosti

GA201/03/1161, projekt VaV
Název: Verifikace nekonečně stavových systémů
Investor: Grantová agentura ČR, Verifikace nekonečně stavových systémů
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
1ET408050503, projekt VaV
Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů