A General Model Checking Framework for Various Memory Consistency Models | IEEE Conference Publication | IEEE Xplore