University of Konstanz
Chair for Software Engineering

DiPro - Directed Probabilistic Counterexample Generation Tool

Download DiPro

Available distributions:

  • Binary Versions
    • Linux 32-bit
    • Linux 64-bit
    • Mac OS X v10.6 (Snow Leopard, 64-bit)
    • Windows 7 32-bit

  • Source Code Version (Note: For the binary versions we use a commercial visualization framework that we are not allowed to distribute with the source version. Here we use a visualization based on the open source framework JUNG.)
  • Install Instructions

Note: In order to use DiPro you need to download and install a copy of PRISM 3.3.1 or MRMC 1.4.1!

Select a distribution*:






Your Name*:
Affiliation:
Email address*:
Please tick*: I agree to the terms of the GPL (view licence)
* required fields.