11 search results - page 3 / 3 » A Sequent Calculus and a Theorem Prover for Standard Conditi... |
SAC
2010
ACM
13 years 4 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...