Skip to content

@prismmodelchecker PRISM Model Checker

Change the repository type filter

All

    Repositories list

    9 repositories

    • prism

      Public
      The main development version of the PRISM model checker.
      Java
      •
      GNU General Public License v2.0
      •78•189•40•17•Updated Apr 22, 2026Apr 22, 2026

    • 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
      •25•31•3•4•Updated Apr 10, 2026Apr 10, 2026

    • prism-benchmarks

      Public
      The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
      Raku
      •9•11•1•0•Updated Mar 12, 2025Mar 12, 2025

    • cudd

      Public
      Modified version of CUDD used in PRISM
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•1•0•Updated Aug 8, 2024Aug 8, 2024

    • prism-api

      Public
      Example code for connecting to PRISM programmatically.
      Java
      •8•9•0•2•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.