conftrace_

concurrent program

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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