Login / Signup
Christoph Klee
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Orders Of Magnitude
Formal Verification
Symbolic Model Checking
Top Venues
CPP
</>
Publications
</>
Quentin Carbonneaux
,
Noam Zilberstein
,
Christoph Klee
,
Peter W. O'Hearn
,
Francesco Zappa Nardelli
Applying formal verification to microkernel IPC at meta.
CPP
(2022)