FREEDOM251

Freedom251 › NuSMV

Instead of NuSMV

NuSMV alternatives

Apps that do what NuSMV does, from the formal verification tools list, the ones you can start free with first.

  1. 1

    CPAchecker

    Free plan LinuxMacSelf-hosted+1
    7.6 Open source Visit site
  2. 2

    Boogie

    Free plan LinuxMacWindows
    7.5 Open source Visit site
  3. 3

    cvc5

    Free plan APILinuxMac+3
    7.5 Open source Visit site
  4. 4

    F*

    Free plan LinuxMacSelf-hosted+1
    7.5 Open source Visit site
  5. 5

    ACL2

    Free plan LinuxMacSelf-hosted+1
    7.4 Free plan Visit site
  6. 6

    Agda

    Free plan ExtensionLinuxMac+3
    7.4 Open source Visit site
  7. 7

    HOL4

    Free plan LinuxMacSelf-hosted+1
    7.4 Free plan Visit site
  8. 8

    Isabelle

    Free plan LinuxMacSelf-hosted+1
    7.4 Free plan Visit site
  9. 9

    Lean

    Free plan LinuxMacWeb+1
    7.3 Open source Visit site
  10. 10

    OpenJML

    Free plan APIExtensionLinux+2
    7.3 Open source Visit site
  11. 11

    Apalache

    Free plan APILinuxSelf-hosted
    7.2 Open source Visit site
  12. 12

    Dafny

    Free plan LinuxMacSelf-hosted+1
    7.2 Free plan Visit site
  13. 13

    Rocq

    Free plan ExtensionLinuxMac+2
    7.2 Free plan Visit site
  14. 14

    HOL Light

    Free plan LinuxMacSelf-hosted+2
    7.1 Free plan Visit site
  15. 15

    K Framework

    Free plan APILinuxMac+1
    7.1 Free plan Visit site
  16. 16

    PRISM

    Free plan LinuxMacWindows
    7.1 Free plan Visit site
  17. 17

    PVS

    Free plan LinuxMacWindows
    7.1 Free plan Visit site
  18. 18

    Frama-C

    Free plan LinuxMacWindows
    7.0 Free plan Visit site
  19. 19

    TLA+

    Free plan ExtensionLinuxMac+1
    7.0 Open source Visit site
  20. 20

    VeriFast

    Free plan ExtensionLinuxMac+1
    7.0 Open source Visit site
  21. 21

    SPIN

    Free plan LinuxMacWindows
    6.9 Free plan Visit site
  22. 22

    Why3

    Free plan APILinuxSelf-hosted+2
    6.9 Open source Visit site
  23. 23

    Z3

    Free plan AndroidAPILinux+4
    6.9 Free plan Visit site
  24. 24

    UPPAAL

    Free plan LinuxMacWindows
    6.8 Free plan · pricing on request Visit site

← Back to NuSMV The whole formal verification tools list