conftrace_

hypervisor verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

llvm translation (1) system software (1) proof assistant (1) proof automation (1) coq proof assistant (1) formal verification (1)

Papers

Spoq: Scaling Machine-Checkable Systems Verification in Coq OSDI 2023