Email Record: NASA formal methods