proverif

AuthorBruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@icloud.com>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre <marc.sylvestre@inria.fr>
LicenseGNU General Public License
Homepagehttp://proverif.inria.fr/
Issue Trackerbruno.blanchet@inria.fr
MaintainerBruno Blanchet <bruno.blanchet@inria.fr>, Marc Sylvestre <marc.sylvestre@inria.fr>
Dependencies
&ocamlbuild
ocamlfind
PublishedJan 9, 2017
Source [http] http://proverif.inria.fr/proverif1.96pl1.tar.gz
ae31b3c6c9d364fa1cc2f3047bb9167c
StatisticsInstalled 3times in last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/proverif/proverif.1.96pl1/opam

ProVerif: Cryptographic protocol verifier in the formal model

No package is dependent