One of the software industry’s biggest concern is how to check whether their products are really correct with respect to the specification that the developer and the user both agreed. According to a variety of sources, inability to do so will cost us an incredible amount of money in the future (well, this must be already happening). As you know, generality is a prime concern in Computer Science. So, why don’t we write a single program (or construct a general method) that could verify whether the program correctly solves a problem with respect to a given specification?
2007-01-16
08:28:48
·
4 answers
·
asked by
no one
1