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