Inferse
For vendors
AdvertiseTop spots, featured rows, home sponsor Get listedAdd a product we don't cover yet Claim a listingFree: verify the domain, then correct your page Vendor dashboardNumbers, orders and placements
List your platform
Vendor dashboard

Best F* Alternatives in 2026

12 platforms from formal verification tools ranked against F* on the same published basis.

  1. 1
    Z3 Free plan AndroidapiLinuxMacself-hosted Free7.3
    F* vs Z3
  2. 2
    ACL2 LinuxMacself-hostedWin 6.0
    F* vs ACL2
  3. 3
    PVS Free plan LinuxMacWin Free6.0
    F* vs PVS
  4. 4
    Rocq Free plan extensionLinuxMacWebWin Free6.0
    F* vs Rocq
  5. 5
    Isabelle Free plan LinuxMacself-hostedWin Free5.9
    F* vs Isabelle
  6. 6
    SPIN Free plan LinuxMacWin Free5.9
    F* vs SPIN
  7. 7
    UPPAAL Free plan LinuxMacWin Free5.9
    F* vs UPPAAL
  8. 8
    Frama-C LinuxMacWin 5.8
    F* vs Frama-C
  9. 9
    Alloy Analyzer Free plan apiLinuxMacWin Free5.5
    F* vs Alloy Analyzer
  10. 10
    CBMC WinMacLinux 5.5
    F* vs CBMC
  11. 11
    Dafny WinMacLinux 5.5
    F* vs Dafny
  12. 12
    HOL Light WebWinMacLinux 5.5
    F* vs HOL Light
Make your platform an alternative to F*

The sponsored alternative slot on this page is labelled and never changes the order above.

See the price