alt Hacker Newsright? I read the kleppman post sometime ago about formal verification taking off but i could never square away who verifies the verifier.
right? I read the kleppman post sometime ago about formal verification taking off but i could never square away who verifies the verifier.
That might emerge as one of the main tasks of future software engineers, writing formal specifications by hand.
It could be the case that Tony Hoare was right, just too early.