# \#verification **URL:** https://discuss.ocaml.org/tag/verification/251.md [Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md) --- ## [About formal verification](https://discuss.ocaml.org/t/about-formal-verification/2363)
**Author:** [@Kakadu](https://discuss.ocaml.org/u/Kakadu)\ **Replies:** 8\ **Last updated:** [August 1, 2018, 7:29pm UTC](https://discuss.ocaml.org/t/about-formal-verification/2363 "2018-08-01T19:29:26Z")
Well, everybody knows that well-typed programs can’t go wrong and we should encode important properties of the domain in types but it seems that in real world it can lead to some complications and support difficulties. I…