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.