> Formal verification is a hardcore approach. It is difficult and it is the holy grail of software engineering.
My first question is, what is formal verification? Since I am a hardcore nerd, I'm confused since this blog post basically says tests aren't good enough.
1 comment
[ 232 ms ] story [ 881 ms ] threadMy first question is, what is formal verification? Since I am a hardcore nerd, I'm confused since this blog post basically says tests aren't good enough.