The top documents tagged [formal methods atomicity]