dbosk/tamarin-prover

•Updated about 8 years ago

The Tamarin protocol verifier

Image

270

dbosk/tamarin-prover repository overview

Follows the Arch Linux install instructions from the Tamarin manual⁠.

Recent tags

Content type

Image

Digest

Size

515.7 MB

Last updated

about 8 years ago

docker pull dbosk/tamarin-prover