Popular repositories Loading

1. PrologInOcaml PrologInOcaml Public

   Implement a Prolog interpreter in Ocaml

   OCaml 1

2. K-Spec-Gen K-Spec-Gen Public

   Generate k-spec from annotated java file which can be used as the input of k verifier

   Java 1

3. PabbleExtractor_Alpha PabbleExtractor_Alpha Public

   An internal version of pabble extractor which extract parameterised protocol from standard MPI-C program

   C++

4. MyPokerGame MyPokerGame Public

   A poker game

5. Testing Testing Public

6. javamop javamop Public

   Forked from runtimeverification/javamop

   Runtime verification system for Java, using AspectJ for instrumentation.

   Java