conftrace_

coq proof assistant

3 papers

Explore in graph

Also known as

COQ

Co-occurring keywords · papers mentioning both

formal verification (2) concurrent operating system (1) refinement property (1) certified software (1) operating system kernel (1) graph neural network (1) proof automation (1) proof assistant (1) llvm translation (1) hypervisor verification (1)

Papers

Graph2Tac: Online Representation Learning of Formal Math Concepts ICML 2024 Spoq: Scaling Machine-Checkable Systems Verification in Coq OSDI 2023 CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016