"A Survey of Verification Techniques for Parallel Programs" - читать интересную книгу автора (Barringer H.)