tamarin-prover

The Tamarin prover for security protocol analysis

Arch Arch Linux
RUN pacman -S --noconfirm tamarin-prover
click the source code to copy install tamarin-prover on any operating system with command-not-found.com