Published February 7, 2018
| Version seL4-8.0.0
Software
Open
seL4/l4v: Proofs for seL4-8.0.0
Authors/Creators
- Gerwin Klein1
- Joel Beeren2
- Matthew Brecknell3
- Xaphiosis
- mktnk3
- Alejandro Gómez-Londoño
- Thomas Sewell2
- David Greenaway
- Michael Norrish4
- Corey Richardson
- Ramana Kumar5
- Adrian Danis1
- Toby Murray6
- Corey Lewis1
- Anna Lyons7
- Cornelius Diekmann
- Nickolai Zeldovich
- Michael Sproul1
- Matthew Fernandez
- Luke
- Lars 'cebewee' Noschinski
- 1. Data61
- 2. NICTA
- 3. @seL4 @data61
- 4. CSIRO
- 5. DeepMind
- 6. University of Melbourne and Data61
- 7. Data61 CSIRO
Description
Isabelle/HOL proofs seL4-8.0.0
Files
seL4/l4v-seL4-8.0.0.zip
Files
(10.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d51cfeb49d954f4ca8f8dea3d4560e33
|
10.0 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/seL4/l4v/tree/seL4-8.0.0 (URL)