Popular repositories

1. jpf-star jpf-star Public

   Test input generation using separation logic

   Java 8 2

2. jpf-symbc jpf-symbc Public

   Symbolic PathFinder

   Java 4

3. jpf-costar jpf-costar Public

   Test input generation using separation logic

   Java 2 2

4. jpf-core jpf-core Public

   The core of Java PathFinder

   Java

5. s2sat s2sat Public

6. starlib starlib Public

   A library for handling separation logic constraints

   Java 1