The implementation for Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
The proofs for lemmas can be found at proof.pdf
byeongjee/heuristic-narrowing-search
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
The implementation for Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
The proofs for lemmas can be found at proof.pdf