🐵 🐋 Tamarin Docker Container

Docker container with the latest version of Tamarin Prover from Github repository. This Dockerfile builds the luchinzzz/tamarin-prover image.

📝 Table of Contents

• Setup
• How to use
• Technologies
• License

⚙️ Setup

Prerequisites

• Docker installed on your system.

Build and Run

Move to the project folder:

cd ./tamarin-docker-container/

To build the Docker image, run:

docker compose build

To start the container run:

docker compose up

👨‍💻 How to use

After building the Docker container, you can start it using the run_container.sh script:

./run_container.sh

To use Tamarin in interactive mode, execute the interactive.sh script within the container. This is equivalent to running:

tamarin-prover interactive --interface="*4" "$@"

💻 Technologies

The project is created with:

• Tamarin Prover
• Docker

⚖️ License

This project is licensed under the Apache License 2.0 - see the LICENSE.md file for details.