/java-with-jpf-example

Java Path Finder and Gradle configuration with simple dining philosopher problem

Primary LanguageJavaMIT LicenseMIT

java-with-jpf-example

Java Path Finder and Gradle configuration with simple dining philosopher problem

please visit WIKI page for instruction how to run the code