We talk about “correct” programs all the time, but what does that really mean? This talk dives into the tricky business of defining program correctness, exploring several attempts and their pitfalls along the way. Even with a solid definition, we’ll see how formal correctness only goes so far in real-world software development. The talk concludes … Continue reading Program Correctness and its Limitations