Verifpal, Rewritten in Rust
Summary
Symbolic Software's Verifpal has been rewritten in Rust from Go, delivering a faster, more correct protocol verifier with a new analysis engine and a richer UI. The update introduces Equation Bypass attack modeling, a three-valued lifecycle, a hand-written parser, and expanded tests and protocol models, all aimed at improving correctness, performance, and test coverage.