Series
Software Engineering
Proof, validation, and the functions we justify without thinking.
1 article
01Why you do not have to prove your function
You do not have to prove your function because software verification is a ladder, not a binary choice.