Why writing correct software is hard

mathematics, theoretical-computer-science, formal-verification

affine March 19, 2024, 11:04pm 1

Why Writing Correct Software Is Hard

We try to understand the relationship between programs and correctness, and in particular, why writing correct programs must be hard. We will review results from computability theory and complexity theory, and see that programs and complete...

Home
Categories
Guidelines

Powered by Discourse, best viewed with JavaScript enabled