micwypych/java-with-jpf-example

Java Path Finder and Gradle configuration with simple dining philosopher problem

Language: Java - Size: 1.57 MB - Last synced at: 6 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1

balajibalasubramaniam/dig

Size: 36 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

cm45t3r/jpf-autodoc-types

Automatic documentation of Java PathFinder (JPF) types. This project was part of the JPF Summer of Code 2011.

Language: Java - Size: 5.38 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

zhaoyu-z/Optimizing-minimal-counterexamples

Help user find bugs in java program by using JPF

Size: 5.63 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

canhminhdo/spec-based

Specification-based Testing Concurrent Java Programs with JPF and Maude

Language: Java - Size: 5.54 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

upthewaterspout/jpf-gradle

Gradle plugin that downloads and configures Java Path Finder

Language: Java - Size: 96.7 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1