conftrace_

concurrent operating system

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

refinement property (1) coq proof assistant (1) certified software (1) operating system kernel (1) concurrent program (1) contextual refinement (1) formal verification (1) theorem proving (1)

Papers

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016