Publication details
ProbDiVinE 2.0
| Basic information | |
|---|---|
| Original title: | ProbDiVinE 2.0 |
| Authors: | Jiří Appl, Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, Jana Tůmová |
| Further information | |
|---|---|
| Citation: | APPL, Jiří  - BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana. ProbDiVinE 2.0. 2010. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models |
| Type: | Software |
| Keywords: | divine; distributed; probabilistic; quantitative; model checking; ltl |
Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models.
Related projects:
