- cross-posted to:
- [email protected]
- cross-posted to:
- [email protected]
It uses PRISM, a “probabilistic model checker”, so not your typical theorem prover or SAT solver.
You must log in or register to comment.
It uses PRISM, a “probabilistic model checker”, so not your typical theorem prover or SAT solver.