Skip to content
@star-finder

StarFinder

Popular repositories Loading

  1. jpf-star jpf-star Public

    Test input generation using separation logic

    Java 9 2

  2. jpf-symbc jpf-symbc Public

    Symbolic PathFinder

    Java 3

  3. jpf-costar jpf-costar Public

    Test input generation using separation logic

    Java 3 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

Repositories

Showing 10 of 12 repositories
  • jpf-costar Public

    Test input generation using separation logic

    Java 3 2 1 0 Updated Nov 15, 2022
  • gaia Public
    Java 0 0 0 0 Updated Oct 19, 2019
  • starlib Public

    A library for handling separation logic constraints

    Java 0 1 0 0 Updated Oct 19, 2019
  • jpf-core Public

    The core of Java PathFinder

    Java 0 0 0 0 Updated Oct 14, 2019
  • jpf-star Public

    Test input generation using separation logic

    Java 9 MIT 2 1 0 Updated Jul 5, 2019
  • star-finder.github.io Public
    HTML 0 0 0 0 Updated Jul 4, 2019
  • jpf-symbc Public

    Symbolic PathFinder

    Java 3 0 0 0 Updated Feb 6, 2019
  • benchmarks Public
    Java 0 0 0 0 Updated Feb 5, 2019
  • star-examples Public
    Java 0 0 0 0 Updated Dec 29, 2017
  • star-dev Public

    Scripts to set up the environment

    0 0 0 0 Updated Dec 5, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…