Version 0.27.4 is available upstream. Please consider updating! It seems that version 0.27.4 is available upstream, while the latest version in the Gentoo tree is 0.27.0. You think this warning is false? Read more about it here.
Verifpal is new software for verifying the security of cryptographic
protocols. Building upon contemporary research in symbolic formal
verification, Verifpal’s main aim is to appeal more to real-world
practitioners, students and engineers without sacrificing comprehensive
formal verification features.