package statverif

  1. Overview
  2. Docs
StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif

Install

Dune Dependency

Authors

Maintainers

Sources

1.97pl1.2.tar.gz
md5=8ff654f628af23cb7921f277efabc574