#

java-pathfinder

Here are 4 public repositories matching this topic...

micwypych / java-with-jpf-example

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

seer-lab / TIE

A Thread Interleaving Explorer for Java Pathfinder (JPF).

visualization java debugging concurrency eclipse-plugin model-checking java-pathfinder

Updated Aug 20, 2024
Java

Niols / GSoC17

Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder

symbolic-execution separation-logic java-pathfinder symbolic-pathfinder

Updated Sep 2, 2017
Java

chenterry85 / Pathfinding

🔍 A visualization of pathfinding alogrithms (incorporating Uniform cost search, greedy search, and A* search)

visualization gui algorithm animation pathfinding example-project pathfinding-algorithms sample-project uniform-cost-search java-pathfinder a-star-algorithm greedy-search pathfinding-visualization java-path2d

Updated Dec 25, 2021
Java

Improve this page

Add a description, image, and links to the java-pathfinder topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the java-pathfinder topic, visit your repo's landing page and select "manage topics."