seL4

2009 · 1,593 citations · 0 from inside this corpus

Gerwin Klein, Kevin Elphinstone low, Gernot Heiser, June Andronick low, David Cock, Philip Derrin low, Dhammika Elkaduwe low, Kai Engelhardt low, Rafal Kolanski low, Michael Norrish, Thomas Sewell, Harvey Tuch low, Simon Winwood

The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.

1 of 1 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

this paper works it cites works citing it node size = global citations · hover for the full title

What this paper cites, inside the corpus

Paper	Year	Cited
Isabelle/HOL: A Proof Assistant for Higher-Order Logic	2002	2,326

Links

DOI · OpenAlex record

Topics

Security and Verification in Computing	Computer Science
Parallel Computing and Optimization Techniques	Computer Science
Distributed systems and fault tolerance	Computer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

supports13 author record(s) attached.
supports67 reference(s) recorded.
neutralThe DOI carries no year to check against.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:57+00:00.

sha256 b3024609427ad450…