# \#formal-verification

**URL:** https://forum.cardano.org/tag/formal-verification/187.md

[Latest](https://forum.cardano.org/latest.md) · [Categories](https://forum.cardano.org/categories.md) · [Tags](https://forum.cardano.org/tags.md)

---

## [Formal verification](https://forum.cardano.org/t/formal-verification/23226)

<div class="topic-metadata">

**Author:** [@SeanAlimov](https://forum.cardano.org/u/SeanAlimov)\
**Replies:** 1\
**Last updated:** [10 May 2019 21:30 UTC](https://forum.cardano.org/t/formal-verification/23226 "2019-05-10T21:30:39Z")

</div>

https://youtu.be/-CTNS2D-kbY