Files with the .spthy extension, which define the protocol logic and security properties being tested.
The tamarin-prover program itself for various operating systems. File: Tamarin.zip ...
Tools like Maude or GraphViz, which Tamarin uses for its underlying logic and to visualize proof trees. 3. Alternative Origins Files with the