Anfonwch hwn fel neges destun: A survey of verification techniques for parallel programs /