Sam Mason wrote: > From those eight pages it seems to suggest that partial and total > correctness are the same. Not sure if that gets expanded on, but it > doesn't seem right. Correctness should not be confused with safety. We can achieve a number of safety properties without achieving total correctness. Sandro