# About the Verification category

**URL:** <https://sel4.discourse.group/t/about-the-verification-category/12>\
**Category:** Verification\
**Created:** [January 2, 2019, 11:19pm UTC](https://sel4.discourse.group/t/about-the-verification-category/12 "2019-01-02T23:19:24Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![anna.lyons](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/anna.lyons/32/4_2.png) [@anna.lyons](https://sel4.discourse.group/u/anna.lyons)\
**Post date:** [January 2, 2019, 11:19pm UTC](https://sel4.discourse.group/t/about-the-verification-category/12/1 "2019-01-02T23:19:24Z")

</div>

Questions around seL4 verification. What guarantees do the proofs provide? What are the limitations and assumptions?

Use this category if you have questions about seL4 verification, including specific questions about isabelle, the different types of proofs.