SeaHorn
SeaHorn is ranked #29 of 31 in formal verification tools on The Geeks Club. It runs on Linux, macOS.
Compared on formal verification tools
- Verification method
- hybrid
- Supported formalisms
- invariants
- Counterexamples
- Yes
- Input languages
- C, LLVM IR
- Deployment
- self-hosted
