The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved

Andronick, June

doi:10.34727/2022/isbn.978-3-85448-053-2_1

Record link:

http://hdl.handle.net/20.500.12708/81313
https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_1

Title:

The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved

Citation:

Andronick, J. (2022). The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved. In A. Griggio & N. Rungta (Eds.), Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 (pp. 1–1). TU Wien Academic Press. https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_1

reposiTUm DOI:

10.34727/2022/isbn.978-3-85448-053-2_1

Publication Type:

Inproceedings - Abstract Book Contribution

Language:

English

Authors:

Andronick, June

Editors:

Griggio, Alberto
Rungta, Neha

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering