3 ms·
And who verifies the verify-er? (That is generally the problem I have with the concept of unit tests too)
by venomsnake 12y ago
And who verifies the verify-er? (That is generally the problem I have with the concept of unit tests too)
- vilhelm_s 12y agoIdeally, a simpler and therefore more trustworthy verifier. So far, the most fleshed out implementation of this idea is Milawa, which developed a chain of 11 increasingly sophisticated verifiers, each one checked by the previous. http://www.cs.utexas.edu/users/jared/milawa/Web/ http://www.cs.utexas.edu/users/jared/milawa/Web/