FREEDOM251

Freedom251 › Dafny

Instead of Dafny

Dafny alternatives

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

  1. 1

    CBMC

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

    CPAchecker

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

    Boogie

    Free plan LinuxMacWindows
    7.5 Open source Visit site
  4. 4

    cvc5

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

    F*

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

    ACL2

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

    Agda

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

    HOL4

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

    Isabelle

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

    Lean

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

    OpenJML

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

    Apalache

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

    NuSMV

    Free plan LinuxMacWindows
    7.2 Free plan Visit site
  14. 14

    Rocq

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

    HOL Light

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

    K Framework

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

    PRISM

    Free plan LinuxMacWindows
    7.1 Free plan Visit site
  18. 18

    PVS

    Free plan LinuxMacWindows
    7.1 Free plan Visit site
  19. 19

    Frama-C

    Free plan LinuxMacWindows
    7.0 Free plan Visit site
  20. 20

    TLA+

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

    VeriFast

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

    SPIN

    Free plan LinuxMacWindows
    6.9 Free plan Visit site
  23. 23

    Why3

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

    Z3

    Free plan AndroidAPILinux+4
    6.9 Free plan Visit site

← Back to Dafny The whole formal verification tools list