Sign in
The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved.
June Andronick
Published in:
FMCAD (2022)
Keyphrases
</>
lessons learned
model checking
real time
real world
artificial intelligence
multiscale
evolutionary algorithm
face verification
open issues
advanced technologies
data sets
information retrieval
relational databases
emerging technologies
open questions