Efficient verification of periodic programs using sequential consistency and snapshots.

Sagar Chaki, Arie Gurfinkel, Nishant Sinha

Browse the full FMCAD paper archive.