CSimpl

MaRDI QIDQ34516swMATHFDO

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