crypto.bi

Browsing Concept: OCaml

OCaml is a mixed object-functional programming language. Formal verification systems such as Coq are able to generate OCaml code from its verified logical formulations.

One publication found under OCaml
What is “formal verification” of cryptocurrency software?
You may have heard that Cardano ADA is aiming for formal verification of its core software. What does it mean for software programs to be formally verified? Why is it important...