conftrace_

llvm translation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hypervisor verification (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