QED: a proof system based on reduction and abstraction for the static verification of concurrent software | IEEE Conference Publication | IEEE Xplore