First steps in verifying the seL4 Core Platform.

Mathieu Paturel Isitha Subasinghe Gernot Heiser

Published in: APSys (2023)

Keyphrases

real time
neural network
artificial intelligence
information systems
high level
face recognition
genetic algorithm
case study
computational complexity
low cost
distributed architecture