# About the Formal Verification category

**URL:** <https://forum.zenprotocol.com/t/about-the-formal-verification-category/44>\
**Category:** Formal Verification\
**Created:** [May 19, 2018, 3:48pm UTC](https://forum.zenprotocol.com/t/about-the-formal-verification-category/44 "2018-05-19T15:48:13Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![IsRod](https://avatars.discourse-cdn.com/v4/letter/i/bbce88/32.png) [@IsRod](https://forum.zenprotocol.com/u/IsRod)\
**Post date:** [May 19, 2018, 3:48pm UTC](https://forum.zenprotocol.com/t/about-the-formal-verification-category/44/1 "2018-05-19T15:48:13Z")

</div>

This section is for questions and discussions about formal verification techniques.