meiersi / scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
☆16Updated 9 years ago
Alternatives and similar repositories for scyther-proof:
Users that are interested in scyther-proof are comparing it to the libraries listed below
- Robots powered by Constructive Reals