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 4

  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

    star-finder/jpf-costar’s past year of commit activity
    Java 3 2 1 0 Updated Nov 15, 2022
  • gaia Public
    star-finder/gaia’s past year of commit activity
    Java 0 0 0 0 Updated Oct 19, 2019
  • starlib Public

    A library for handling separation logic constraints

    star-finder/starlib’s past year of commit activity
    Java 0 1 0 0 Updated Oct 19, 2019
  • jpf-core Public

    The core of Java PathFinder

    star-finder/jpf-core’s past year of commit activity
    Java 0 0 0 0 Updated Oct 14, 2019
  • jpf-star Public

    Test input generation using separation logic

    star-finder/jpf-star’s past year of commit activity
    Java 9 MIT 2 1 0 Updated Jul 5, 2019
  • star-finder.github.io Public
    star-finder/star-finder.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Jul 4, 2019
  • jpf-symbc Public

    Symbolic PathFinder

    star-finder/jpf-symbc’s past year of commit activity
    Java 4 0 0 0 Updated Feb 6, 2019
  • benchmarks Public
    star-finder/benchmarks’s past year of commit activity
    Java 0 0 0 0 Updated Feb 5, 2019
  • star-examples Public
    star-finder/star-examples’s past year of commit activity
    Java 0 0 0 0 Updated Dec 29, 2017
  • star-dev Public

    Scripts to set up the environment

    star-finder/star-dev’s past year of commit activity
    0 0 0 0 Updated Dec 5, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…