The implementation for Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
The proofs for lemmas can be found at proof.pdf
| 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