Apps tagged with 'formal-methods'

All apps in Apps tagged with 'formal-methods' category. Use the filters below to narrow down your search. 
Copy a direct link to this comment to your clipboard
  1. F* icon

    F*

     3 likes

    F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness properties. Programs written in F* can be translated to OCaml or F# for execution.

    Cost / License

    • Free
    • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    • Online
    F* screenshot 1
    6 alternatives