Pinned Repositories
carl
certainly-something
WebExtension that shows certificate chains in an aesthetically pleasing manner.
git-sh
A customized bash environment suitable for git work.
hoaf-tests
a repository of correct and incorrect automata in HOA format
prism
Development fork of the PRISM model checker; beware, short-lived / changing branches.
prism-benchmarks
The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
prism-codecov
Testing for code coverage.
prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
prism-svn
PRISM trunk + features in development as branches
storm
Development fork of the probabilistic model checker Storm; beware, short-lived / changing branches.
kleinj's Repositories
kleinj/storm
Development fork of the probabilistic model checker Storm; beware, short-lived / changing branches.
kleinj/carl
kleinj/certainly-something
WebExtension that shows certificate chains in an aesthetically pleasing manner.
kleinj/git-sh
A customized bash environment suitable for git work.
kleinj/hoaf-tests
a repository of correct and incorrect automata in HOA format
kleinj/prism
Development fork of the PRISM model checker; beware, short-lived / changing branches.
kleinj/prism-benchmarks
The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
kleinj/prism-codecov
Testing for code coverage.
kleinj/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
kleinj/prism-svn
PRISM trunk + features in development as branches
kleinj/prism-tests
The PRISM regression test suite: a collection of probabilistic model checking tasks that PRISM can perform, along with their expected result/output.
kleinj/prism-travis
Testing of Travis configurations for the PRISM repo
kleinj/qcomp
qcomp.org – Quantitative Model Repository and Tool Comparison