实体
seL4
seL4
PulseAugur coverage of seL4 — every cluster mentioning seL4 across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
最近 · 第 1/1 页 · 共 2 条
-
AXON launches as first AI-native sovereign systems language
A new open-source programming language called AXON has been introduced, designed as an AI-native sovereign systems language. It features a compiler that formally verifies user intent at compile time and targets the seL4…
-
Neuro-symbolic AI framework automates software verification proofs
Researchers have developed a novel neuro-symbolic framework to automate the generation of proofs for systems software verification. This approach combines large language models (LLMs) with interactive theorem proving (I…