Email Record: Symbolic Model Checking /