proverifdocversion Documentation on ocaml.org
Documentation for ProVerif, a cryptographic protocol verifier in the symbolic model
| Author | Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre |
|---|---|
| License | Public domain |
| Published | |
| Homepage | http://proverif.inria.fr/ |
| Issue Tracker | proverif-dev@inria.fr |
| Maintainer | Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr> |
| Source [http] | https://proverif.inria.fr/proverifdoc2.02pl1.tar.gz sha256=04b453f1c6e66ac57b1c32a6b3400867ef512f5c2f4ff5e09a87973cabec9ea2 md5=cd71c193bef4a922ca7a7078be457574 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/proverifdoc/proverifdoc.2.02pl1/opam |
Required by
- proverifpost & with-doc & (=2.01 | =2.02pl1)
