conftrace_

refinement property

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent operating system (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