conftrace_

certified software

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent operating system (1) refinement property (1) coq proof assistant (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