Email Record: Verification of sequential and concurrent programs /