Related Work

Interesting papers

Papers Authors Notes About

Verification

[Google Scholar]

Notes:
Papers:

Papers related to Verification

SeL4: Formal verification of an OS kernel [klein:sosp:2009]

The opinions expressed are my own views and not my employer’s.