Published March 31, 2026
| Version seL4-15.0.0
Software
Open
seL4/l4v: Proofs for seL4 15.0.0
Authors/Creators
- Gerwin Klein1
- Rafal Kolanski
- Joel Beeren
- Matthew Brecknell2
- Corey Lewis
- Miki Tanaka3
- michaelmcinerney
- JaphethLim
- Daniel Matichuk4
- Alejandro Gómez-Londoño
- Ryan Barry
- David Greenaway
- Edward Pierzchalski
- Michael Norrish5
- Thomas Sewell3
- Michael Sproul6
- Mitchell Buckley7
- Amirreza Zarrabi
- Ilya Yanok
- Toby Murray8
- Adrian Danis
- Anna Lyons
- Santiago Bautista9
- Cornelius Diekmann
- Zoltan A. Kocsis
- Matthew Fernandez
- Curtis Millar10
- emberian11
- brianhuffman
- Achim D. Brucker12
- 1. Proofcraft
- 2. @seL4 @Kry10-NZ
- 3. UNSW
- 4. @GaloisInc
- 5. Australian National University
- 6. @sigp
- 7. kry10
- 8. University of Melbourne
- 9. student @ ENS Rennes
- 10. @seL4
- 11. @elide-dev
- 12. @logicalhacking Software Assurance & Security Research Team
Description
Proof compatible with seL4 release 15.0.0.
Files
seL4/l4v-seL4-15.0.0.zip
Files
(13.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9413bcb5138d516fbe802756b9a3e9be
|
13.4 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/seL4/l4v/tree/seL4-15.0.0 (URL)
Software
- Repository URL
- https://github.com/seL4/l4v