BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE-MC. 2008.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název ProbDiVinE-MC
Název česky ProbDiVinE-MC
Autoři BARNAT, Jiří (203 Česko), Luboš BRIM (203 Česko, garant), Ivana ČERNÁ (203 Česko), Milan ČEŠKA (203 Česko) a Jana TŮMOVÁ (203 Česko).
Vydání 2008.
Další údaje
Originální jazyk angličtina
Typ výsledku Software
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česko
Utajení není předmětem státního či obchodního tajemství
WWW URL
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 Model-Checking, multi-core architecture, quantitative parallel verification
Příznaky Mezinárodní význam
Změnil Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 23:17.
Anotace
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.
Anotace č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 VaVNázev: Automatizovaná verifikace softwaru
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1ET408050503, projekt VaVNázev: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Informační společnost (Národní program výzkumu)
VytisknoutZobrazeno: 12. 8. 2020 11:44