Email Record: Verification of Sequential and Concurrent Programs /