F* is ranked #21 of 33 in formal verification tools on The Geeks Club. It runs on Windows, Linux, macOS.
Compared on formal verification tools
- Verification method
- hybrid
- Supported formalisms
- theorem-proving
- Input languages
- F*
- Deployment
- self-hosted
F*
5.9easy start · #21 of 33
in Formal Verification Tools
in Formal Verification Tools
- Free to practise onnot on record
- Free trialnot on record
- Well documentednot on record
- Runs where you workyes
Runs on Windows, Linux, Mac.
