CSimpl

swMATH22725MaRDI QIDQ34516FDOQ34516

Author name not available (Why is that?)

Official website: https://www.springerprofessional.de/csimpl-a-rely-guarantee-based-framework-for-verifying-concurrent/12188680

Cited In (5)

• AUTO2
• VST-Floyd
• Auto2_Imperative_HOL
• Proof tactics for assertions in separation logic
• CSimpl: a rely-guarantee-based framework for verifying concurrent programs

This page was built for software: CSimpl