Giters
Dave Parker (davexparker)

davexparker

Geek Repo

15

followers

0

following

1

stars

Company:University of Oxford

Location:Oxford, UK

Home Page:https://www.cs.ox.ac.uk/people/david.parker/home.html

Github PK Tool:Github PK Tool

Organizations
pmc-tools
prismmodelchecker

Dave Parker's repositories

prism

Dave's fork of the main development version of the PRISM model checker. http://www.prismmodelchecker.org/

Language:JavaLicense:GPL-2.0Stargazers:2Issues:4Issues:0

bib-db

Publications database with a web front-end for displaying publications lists and editing database entries

Language:TeXStargazers:0Issues:1Issues:0

cav20pg3

Language:ShellStargazers:0Issues:1Issues:0

Chain-CUDD-3.0.0

Modification of CUDD 3.0.0 to support chaining of BDDs and ZDDs

Language:CLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

fm2019

Code for the FM'2019 paper: Quantitative Verification of Numerical Stability of Kalman Filters

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

prism-api

Example code for connecting to PRISM programmatically.

Language:JavaStargazers:0Issues:2Issues:0

prism-benchmarks

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

Language:RakuStargazers:0Issues:0Issues:0

prism-games

PRISM-games

Language:JavaLicense:GPL-2.0Stargazers:0Issues:2Issues:0

prism-svn

Mirror of PRISM subversion trunk

Language:JavaStargazers:0Issues:1Issues:0

qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison

Language:CSSStargazers:0Issues:1Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0