ECN l4v 返回
项目作者： seL4

项目描述 ：
seL4 specification and proofs
高级语言： Isabelle
项目地址: git://github.com/seL4/l4v.git
创建时间： 2014-07-17T17:08:39Z
项目社区：https://github.com/seL4/l4v
开源协议：Other
下载


compilation_1647787177584.pdf
composite-passthrough_1647787177632.pdf
dataport_1647787177638.pdf
echo_1647787177641.pdf
event_1647787177748.pdf
terminal_1647787177807.pdf
echo_1647787177853.pdf
filter_1647787177856.pdf
thydeps_1647787177905.pdf
CDT_1647787179148.pdf
seL4-background_1647787179228.pdf
seL4-background_01_1647787179240.pdf
seL4-background_03_1647787179243.pdf
seL4-background_04_1647787179270.pdf
sel4_internals_1647787179303.pdf
sel4_internals_01_1647787179346.pdf
sel4objects_1647787179350.pdf
sel4objects_01_1647787179354.pdf
sel4objects_05_1647787179393.pdf