micwypych / java-with-jpf-example Star 2 Code Issues Pull requests Java Path Finder and Gradle configuration with simple dining philosopher problem java unit-testing gradle junit deadlock-detection dining-philosophers unit-test dining-philosophers-problem race-detection jpf race-condition-prevention java-pathfinder Updated Aug 4, 2019 Java
cm45t3r / jpf-autodoc-types Star 1 Code Issues Pull requests Automatic documentation of Java PathFinder (JPF) types. This project was part of the JPF Summer of Code 2011. java documentation-tool pathfinder jpf jpf-core Updated Feb 16, 2020 Java
balajibalasubramaniam / dig Star 0 Code Issues Pull requests virtual-machine sage z3 klee jpf Updated Nov 23, 2017
canhminhdo / spec-based Star 0 Code Issues Pull requests Specification-based Testing Concurrent Java Programs with JPF and Maude java testing maude jpf concurrent-programs paralell-algorithm Updated Jan 26, 2022 Java
upthewaterspout / jpf-gradle Star 0 Code Issues Pull requests Gradle plugin that downloads and configures Java Path Finder gradle jpf Updated Jun 8, 2018 Java
VarshaRagavendran / EECS4315-MissionCriticalSystems Star 0 Code Issues Pull requests Coursework for EECS 4315 java junit4 jpf Updated Mar 21, 2018 Java
zhaoyu-z / Optimizing-minimal-counterexamples Star 0 Code Issues Pull requests Help user find bugs in java program by using JPF java pdf presentation jpf bug-finder Updated Jul 12, 2022