Finally had a chance to watch this - this is an excellent talk, and the first 15 minutes is an excellent overview of the connection I’ve been trying to get at in correctness between testing, specification, proofs, etc.
Finally had a chance to watch this - this is an excellent talk, and the first 15 minutes is an excellent overview of the connection I’ve been trying to get at in correctness between testing, specification, proofs, etc.