This page contains and documentation for the software developed for the SePTA method.
STS-tool extension for SePTA was developed by the Software Engineering, Formal Methods, and Security group of University of Trento. The software can be found here.
SecTRO extension for SePTA was developed by the Secure and Dependable Software Systems cluster of University of Brighton. The software can be found here.
The documentation for the architecture needed for the execution of the software can be found here.