Formal verification

Projects I use for FV

C

Coq ELPI
Notes:

S

SSReflect
Notes:

V

Verified Software Toolchain (Coq)
Notes:

M

Mathematical Components (Coq)
Notes:

C

CompCert
Notes:
OCaml OCaml
Community rating:
4
   

Notes:
Coq proof assistant Coq proof assistant
Community rating:
4
   

Notes:
What is a Stack?

It's a list of software used to accomplish something. LAMP is an example.

To add a project to your stack, click 'Show Recommendations for this Stack' at the top middle of this page and then click 'I use this' on the projects you use.

Embed

Show the world what open source projects you use.

Formal verification Stack

img avatar img avatar

C

V

M

C