Login / Signup
Beyond isolation: OS verification as a foundation for correct applications.
Matthias Brun
Reto Achermann
Tej Chajed
Jon Howell
Gerd Zellweger
Andrea Lattuada
Published in:
HotOS (2023)
Keyphrases
</>
operating system
open source
model checking
artificial intelligence
feature selection
verification method
data sets
signature verification
neural network
search engine
theoretical foundation
face verification
fingerprint verification
high security
concurrent systems