R 2008

ProbDiVinE-MC

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

Basic information

Original name

ProbDiVinE-MC

Name in Czech

ProbDiVinE-MC

Authors

BARNAT, Jiří (203 Czech Republic), Luboš BRIM (203 Czech Republic, guarantor), Ivana ČERNÁ (203 Czech Republic), Milan ČEŠKA (203 Czech Republic) and Jana TŮMOVÁ (203 Czech Republic)

Edition

2008

Other information

Language

English

Type of outcome

Software

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

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

References:

RIV identification code

RIV/00216224:14330/08:00024418

Organization unit

Faculty of Informatics

Keywords in English

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

Technical parameters

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

Tags

Tags

International impact
Změněno: 1/6/2009 23:17, prof. RNDr. Jiří Barnat, Ph.D.

Abstract

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.

In Czech

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.

Links

GA201/06/1338, research and development project
Name: Automatizovaná verifikace softwaru
Investor: Czech Science Foundation, Automated software verification
MSM0021622419, plan (intention)
Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1ET408050503, research and development project
Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems