VeriSmall

swMATH9788MaRDI QIDQ21767FDOQ21767

Author name not available (Why is that?)

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

Cited In (11)

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

This page was built for software: VeriSmall