Here are some documents you can read or use.
Coq Tezos of OCaml project
A presentation of the Coq Tezos of OCaml project, to verify in Coq the protocol (kernel) of the Tezos blockchain:
A technical presentation about what we can do for your project:
A general presentation of the Formal Land company, and how we can be useful for Tezos in particular: