Opam Package statverif.1.97pl1.2

Package info

opam-namestatverif
opam-version1.97pl1.2
synopsisStatVerif: automated verifier for cryptographic protocols with state, based on ProVerif
authors
  • Eike Ritter, Joshua Philipps, Bruno Blanchet, Vincent Cheval, and Marc Sylvestre
homepagehttp://sec.cs.bham.ac.uk/research/StatVerif
licenseGPL-2.0-only
deps (3)
revdeps(0)
metas(0)
libraries(0)

Package modules

Package sources

statverif

Package files

bin/statveriftotex
bin/statverif