VCC: Contract-based modular verification of concurrent C | IEEE Conference Publication | IEEE Xplore