149
Voted
DAGSTUHL
2001
15 years 4 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...