GeezerVison is showing github.com — Build software better, together

java-pathfinder

Here are 5 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

Niols / GSoC17

Star 1

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

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

Updated Dec 6, 2024
Java

chenterry85 / Pathfinding

Star 1

🔍 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

cm45t3r / jpf-autodoc

Star 1

Unified JPF documentation generator that consolidates jpf-autodoc-options and jpf-autodoc-types into a single modern tool with multi-format output and archive support.

static-analysis html-generation documentation-generator jpf java-pathfinder markdown-generator json-output bytecode-analysis xml-output

Updated Aug 6, 2025
Java

seer-lab / TIE

Star 1

A Thread Interleaving Explorer for Java Pathfinder (JPF).

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

Updated Aug 20, 2024
Java

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."

Learn more