Report copyright - Verified Heap Theorem Prover by Paramodulationappel/papers/veristar.pdf · theorem prover for separation logic that connects to a real-world operational semantics (CompCert C minor)
Please pass captcha verification before submit form