Beast code in Giters

Joachim Klein's repositories

Development fork of the probabilistic model checker Storm; beware, short-lived / changing branches.

Language:C++GPL-3.01 10

Language:C++NOASSERTION010

WebExtension that shows certificate chains in an aesthetically pleasing manner.

Language:JavaScriptMPL-2.0000

A customized bash environment suitable for git work.

Language:ShellGPL-2.0000

a repository of correct and incorrect automata in HOA format

Language:Perl010

Development fork of the PRISM model checker; beware, short-lived / changing branches.

Language:JavaGPL-2.0010

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

Language:Perl6000

Testing for code coverage.

Language:JavaGPL-2.0000

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

Language:Java010

PRISM trunk + features in development as branches

Language:Java000

The PRISM regression test suite: a collection of probabilistic model checking tasks that PRISM can perform, along with their expected result/output.

Language:Perl 6010

Testing of Travis configurations for the PRISM repo

Language:JavaGPL-2.0010

qcomp.org – Quantitative Model Repository and Tool Comparison

Language:CSS010