COGENT: Certified Compilation for a Functional Systems Language.
,
,
,
,
,
,
,
,
,
,
CoRR, 2016
CoGENT: Verifying High-Assurance File System Implementations.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016