Giters

Columpio / verified-symbolic-memory

Symbolic memory consistency proofs in Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

verified-symbolic-memory

Symbolic memory consistency proofs verified in Coq.

About

Symbolic memory consistency proofs in Coq

Languages

Language:Coq 99.8%Language:Makefile 0.2%