Published July 2, 2024
| Version seL4-13.0.0
Software
Open
seL4/l4v: Proofs for seL4 13.0.0
Creators
- Gerwin Klein1
- Rafal Kolanski
- Joel Beeren
- Matthew Brecknell2
- Miki Tanaka3
- Corey Lewis
- JaphethLim
- Daniel Matichuk4
- Alejandro Gómez-Londoño
- michaelmcinerney
- David Greenaway
- Ryan Barry
- Edward Pierzchalski
- Victor Phan
- Michael Norrish5
- Michael Sproul6
- Mitchell Buckley
- Ilya Yanok
- Amirreza Zarrabi
- Toby Murray7
- Adrian Danis
- Anna Lyons
- Johannes Åman Pohjola
- Santiago Bautista8
- Cornelius Diekmann
- Zoltan A. Kocsis
- Matthew Fernandez
- fhaftmann
- Curtis Millar9
- emberian
- 1. Proofcraft
- 2. @seL4 @Kry10-NZ
- 3. UNSW
- 4. @GaloisInc
- 5. Australian National University
- 6. @sigp
- 7. University of Melbourne
- 8. student @ ENS Rennes
- 9. @seL4
Description
Proof compatible with seL4 release 13.0.0.
Files
seL4/l4v-seL4-13.0.0.zip
Files
(14.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:fc9a0ba34ef673d58c4fe994b6ad9b47
|
14.0 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/seL4/l4v/tree/seL4-13.0.0 (URL)