GitHub / micwypych / java-with-jpf-example
Java Path Finder and Gradle configuration with simple dining philosopher problem
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/micwypych%2Fjava-with-jpf-example
Stars: 2
Forks: 1
Open issues: 0
License: mit
Language: Java
Size: 1.57 MB
Dependencies parsed at: Pending
Created at: almost 8 years ago
Updated at: over 1 year ago
Pushed at: almost 6 years ago
Last synced at: 6 months ago
Topics: deadlock-detection, dining-philosophers, dining-philosophers-problem, gradle, java, java-pathfinder, jpf, junit, race-condition-prevention, race-detection, unit-test, unit-testing
Loading...