220
click to vote
POPL
2002
ACM
16 years 3 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...