OpenBSD formal driver verification with SeL4.

Adriana Nicolae Paul Irofti Ioana Leustean

Published in: CoRR (2023)

Keyphrases

formal methods
formal analysis
model checking
face verification
formal specification
information retrieval
formal model
formal language
real time
data sets
databases
artificial neural networks
formal verification
formal representation
verification method
car navigation