Verifpal Symbolic Software
Use this command to install Verifpal with WinGet:
winget install --id=SymbolicSoftware.Verifpal -e Verifpal is a symbolic formal verification tool for cryptographic protocols. You describe a protocol in the Verifpal language, state security queries about it, and Verifpal searches for an attack that breaks them, printing the trace of any attack it finds.