HackerTrans
TopNewTrendsCommentsPastAskShowJobs

Dear Agent: Prove It(rijnard.com)

1 points·by ghuntley·vor 5 Monaten·1 comments
rijnard.com
Dear Agent: Prove It

https://rijnard.com/blog/dear-agent-proof

1 comments

that_guy_iain·vor 5 Monaten
> 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.