Tools and scripts

Other software tools that can help Tamarin users.

Batch-Tamarin

If you are using Tamarin from the command line, want to analyze many properties, or use large computing clusters, then you might want to check out batch-tamarin. batch-tamarin offers many helpful features, including resource management, caching, attacks/counterexample output, improved reproducibility, and much more.

• Blog post with an overview of features
• Source code