Hacker News new | ask | show | jobs
by vendiddy 513 days ago
When you convince yourself of the program correctness, are you using techniques from the class?

Any advice on reasoning about correctness?