Repositories list

• prism-benchmarks

  Public
  The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.

  Raku

  •8•10•1•0•Updated Nov 13, 2024Nov 13, 2024

• prism

  Public
  The main development version of the PRISM model checker.

  Java

  •

  GNU General Public License v2.0

  •72•157•40•18•Updated Sep 30, 2024Sep 30, 2024

• cudd

  Public
  Modified version of CUDD used in PRISM

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated Aug 8, 2024Aug 8, 2024

• prism-games

  Public
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

  Java

  •

  GNU General Public License v2.0

  •26•23•3•5•Updated Jul 2, 2024Jul 2, 2024

• prism-api

  Public
  Example code for connecting to PRISM programmatically.

  Java

  •7•6•0•1•Updated May 3, 2024May 3, 2024

• ppl

  Public
  Modified version of PPL (Parma Polyhedra Library) used in PRISM.

  C++

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jan 8, 2024Jan 8, 2024

• prism-ext

  Public
  Publicly released extensions and snapshots of PRISM. The master branch mirrors the main repo; each extension/snapshot is in a separate branch/release.

  Java

  •

  GNU General Public License v2.0

  •0•2•1•0•Updated Mar 20, 2021Mar 20, 2021

• prism-tests

  Public
  Old version of the PRISM regression test suite; now merged into the main PRISM repo.

  Perl 6

  •4•3•0•1•Updated Nov 9, 2017Nov 9, 2017

• prism-svn

  Public
  Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.

  Java

  •11•11•0•2•Updated Aug 15, 2017Aug 15, 2017