ProbDiVinE 2.0

APPL, Jiří, Jiří BARNAT, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA and Jana TŮMOVÁ. ProbDiVinE 2.0. 2010.

Basic information

• Original name: ProbDiVinE 2.0
• Name in Czech: ProbDiVinE 2.0
• Authors: APPL, Jiří (203 Czech Republic, belonging to the institution), Jiří BARNAT (203 Czech Republic, belonging to the institution), Luboš BRIM (203 Czech Republic, belonging to the institution), Ivana ČERNÁ (203 Czech Republic, guarantor, belonging to the institution), Milan ČEŠKA (203 Czech Republic, belonging to the institution) and Jana TŮMOVÁ (203 Czech Republic, belonging to the institution).
• Edition: 2010.

Other information

• Original language: English
• Type of outcome: Software
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models
• RIV identification code: RIV/00216224:14330/10:00049375
• Organization unit: Faculty of Informatics
• Keywords (in Czech): divine; distribuovaný; pravděpodobnostní; kvantitativní; model checking; ltl
• Keywords in English: divine; distributed; probabilistic; quantitative; model checking; ltl
• Technical parameters: Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models

Abstract

Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models.

Abstract (in Czech)

Nástroj pro distribuovanou kvantitativní verifikaci vlastností lineárního času pravděpodobnostních modelů.

Links

• GA201/09/1389, research and development project: Name: Verifikace a analýza velmi velkých počítačových systémů

Investor: Czech Science Foundation, Verification and Analysis of Large-Scale Computer Systems