The implementation for Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
The proofs for lemmas can be found at proof.pdf
The implementation for Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
The proofs for lemmas can be found at proof.pdf