Attributes | Values |
---|
rdf:type
| |
Description
| - 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.
- 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. (en)
|
Title
| - ProbDiVinE-MC
- ProbDiVinE-MC (en)
|
skos:prefLabel
| - ProbDiVinE-MC
- ProbDiVinE-MC (en)
|
skos:notation
| - RIV/00216224:14330/08:00024418!RIV10-GA0-14330___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14330/08:00024418
|
http://linked.open...terniIdentifikace
| |
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - quantitative parallel verification; multi-core architecture; model-checking (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...okalizaceVysledku
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...echnickeParametry
| - Kvantitativní verifikace pravděpodobnostních systémů na platformách se sdílenou pamětí.
|
http://linked.open...iv/tvurceVysledku
| - Barnat, Jiří
- Brim, Luboš
- Černá, Ivana
- Češka, Milan
- Tůmová, Jana
|
http://linked.open...avai/riv/vlastnik
| |
http://linked.open...itiJinymSubjektem
| |
http://linked.open...n/vavai/riv/zamer
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |