D'Ambrosi, D. Formal Verification of the Session Protocol in the Symbolic Model [Computer software]. https://github.com/dambrosidenis/Formal-Verification-of-the-Session-Protocol