Software and proof engineering

Our engineers work closely with our researchers to incorporate research advancements into robust, practical software. Our software repositories have accumulated over 10 years of continuous development in operating systems and formal verification techniques.

seL4 development resources

seL4.systems

Find us on GitHub

seL4 mailing lists

Software releases

Our engineering areas

seL4

Our seL4 microkernel represents the state-of-the-art of our research into efficient, secure and reliable operating systems.

Trustworthy software stack

Building large-scale software applications on top of the high-assurance environment provided by seL4.

Proof engineering

We are developing a new engineering discipline for maintaining and extending our seL4 proofs.

At nearly 1 million lines of proof scripts, these are among the most complex computer-checked proofs ever written.

Engineering