VeriSmall

MaRDI QIDQ21767swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-25379-9_18

Cited in

(11)

• Backwards and forwards with separation logic
• VeriStar
• SLAyer
• Mechanized Semantic Library
• Barriers in concurrent separation logic: now with tool support!
• Mostly sound type system improves a foundational program verifier
• Featherweight VeriFast
• Charge!
• Gallina
• C-to-Isabelle
• Verified heap theorem prover by paramodulation

This page was built for software: VeriSmall