tamarin-prover/batch-tamarin

A Python package that enables batch execution of tamarin-prover tasks with JSON configuration files and comprehensive reporting.