R 2008

ProbDiVinE-MC

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA, Jana TŮMOVÁ et. al.

Základní údaje

Originální název

ProbDiVinE-MC

Název česky

ProbDiVinE-MC

Autoři

BARNAT, Jiří (203 Česká republika), Luboš BRIM (203 Česká republika, garant), Ivana ČERNÁ (203 Česká republika), Milan ČEŠKA (203 Česká republika) a Jana TŮMOVÁ (203 Česká republika)

Vydání

2008

Další údaje

Jazyk

angličtina

Typ výsledku

Software

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

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

Odkazy

Kód RIV

RIV/00216224:14330/08:00024418

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

quantitative parallel verification; multi-core architecture; model-checking

Technické parametry

Kvantitativní verifikace pravděpodobnostních systémů na platformách se sdílenou pamětí.

Štítky

Příznaky

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

Anotace

ORIG CZ

V originále

Software tool for quantitative verification of probabilistic systems applicable on shared-memory parallel HW platforms. Models are specifed using modelling language ProbDVE, properties are given as formulas of linear temporal logic. The tool employs freely available modules, namely lpsolve tool and HOARD library.

Česky

Softvérový nástroj pro verifikaci kvantitativních aspektů pravděpodobnostních systémů pro paralelní hardvérové platformy se sdílenou pamětí. Systémy jsou specifikovány pomocí modelovacího jazyka ProbDVE. Vlastnosti specifikovány pomocí formulí lineární temporální logiky. Nástroj využívá volně dostupné softvérové produkty lpsolve a HOARD Library.

Návaznosti

GA201/06/1338, projekt VaV
Název: Automatizovaná verifikace softwaru
Investor: Grantová agentura ČR, Automatizovaná verifikace softwaru
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ů