Freedom251 › TLA+

Instead of TLA+

TLA+ alternatives

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

1. 1 I

   Isabelle

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

   Lean

   Free plan LinuxMacWeb+1
   7.3 Open source Visit site
3. 3 O

   OpenJML

   Free plan APIExtensionLinux+2
   7.3 Open source Visit site
4. 4 A

   Apalache

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

   Dafny

   Free plan LinuxMacSelf-hosted+1
   7.2 Free plan Visit site
6. 6 N

   NuSMV

   Free plan LinuxMacWindows
   7.2 Free plan Visit site
7. 7

   Rocq

   Free plan ExtensionLinuxMac+2
   7.2 Free plan Visit site
8. 8 H

   HOL Light

   Free plan LinuxMacSelf-hosted+2
   7.1 Free plan Visit site
9. 9 K

   K Framework

   Free plan APILinuxMac+1
   7.1 Free plan Visit site
10. 10 P

    PRISM

    Free plan LinuxMacWindows
    7.1 Free plan Visit site
11. 11 P

    PVS

    Free plan LinuxMacWindows
    7.1 Free plan Visit site
12. 12 F

    Frama-C

    Free plan LinuxMacWindows
    7.0 Free plan Visit site
13. 13 V

    VeriFast

    Free plan ExtensionLinuxMac+1
    7.0 Open source Visit site
14. 14 S

    SPIN

    Free plan LinuxMacWindows
    6.9 Free plan Visit site
15. 15 W

    Why3

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

    Z3

    Free plan AndroidAPILinux+4
    6.9 Free plan Visit site
17. 17 U

    UPPAAL

    Free plan LinuxMacWindows
    6.8 Free plan · pricing on request Visit site
18. 18 S

    Stainless

    Free plan LinuxMacWindows
    6.6 Free plan Visit site
19. 19 U

    Ultimate Automizer

    Free plan LinuxWebWindows
    6.6 Free plan Visit site
20. 20 P

    Prusti

    Free plan LinuxMacWindows
    6.0 Free plan Visit site
21. 21 R

    Romeo

    Free plan
    5.5 Free plan Visit site
22. 22 S

    Satisfiability.jl

    Free plan
    5.5 Free plan Visit site
23. 23 S

    SeaHorn

    Paid LinuxMacSelf-hosted
    5.1 Open source Visit site
24. 24 V

    Viper

    Paid ExtensionLinuxMac+2
    5.0 Free plan Visit site

← Back to TLA+ The whole formal verification tools list