Symbolic memory consistency proofs in Coq
Primary LanguageCoq
Symbolic memory consistency proofs verified in Coq.