github.com/symbolicsoft/verifpal (go): Mirror of Verifpal canonical repository.
Keywords: cryptographic-protocols|cryptography|formal-methods|formal-verification|protocol-analysis|protocol-verification|symbolic-protocol-analysis