sandy6 / tamarin-prover Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tamarin-prover/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Home Page: https://tamarin-prover.github.io/
License: GNU General Public License v3.0