VeriSmall

swMATH9788MaRDI QIDQ21767FDOQ21767

Author name not available (Why is that?)

Cited In (5)

• Barriers in concurrent separation logic: now with tool support!
• Verified heap theorem prover by paramodulation
• Mostly Sound Type System Improves a Foundational Program Verifier
• Backwards and forwards with separation logic
• Featherweight VeriFast

This page was built for software: VeriSmall