CSimpl

swMATH22725MaRDI QIDQ34516FDOQ34516

scientific article; zbMATH DE number Author name (Why is no real title available?)

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