Efficient verification of periodic programs using sequential consistency and snapshots | IEEE Conference Publication | IEEE Xplore