Experiments in Verifying Low Level Concurrent C Code | IEEE Conference Publication | IEEE Xplore