There is a newer version of the record available.

Published February 5, 2018 | Version seL4-7.0.0
Software Open

seL4/l4v: Proofs for seL4-7.0.0

Description

Isabelle/HOL proofs for seL4-7.0.0

Files

seL4/l4v-seL4-7.0.0.zip

Files (9.9 MB)

Name Size
md5:2b22a569a377ec38f384c701c652ff83
9.9 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/seL4/l4v/tree/seL4-7.0.0 (URL)