ProbDiVinE 2.0
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F10%3A00049375" target="_blank" >RIV/00216224:14330/10:00049375 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
ProbDiVinE 2.0
Original language description
Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F09%2F1389" target="_blank" >GA201/09/1389: Verification and Analysis of Large-Scale Computer Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
ProbDiVinE 2.0
Technical parameters
Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models
Economical parameters
—
Owner IČO
00216224
Owner name
Masarykova univerzita