proverif

Author Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@icloud.com>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre <marc.sylvestre@inria.fr>
License GNU General Public License
Homepage http://proverif.inria.fr/
Issue Tracker bruno.blanchet@inria.fr
Maintainer Bruno Blanchet <bruno.blanchet@inria.fr>, Marc Sylvestre <marc.sylvestre@inria.fr>
Dependencies
& ocamlbuild
ocamlfind
Published Jan 9, 2017
Source [http] http://proverif.inria.fr/proverif1.96pl1.tar.gz
ae31b3c6c9d364fa1cc2f3047bb9167c
Statistics Installed 3 times in last month.
Edit https://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