Automating Proofs of the Absence of Common Runtime Errors.

Steven M. German

Published in: POPL (1978)

Keyphrases

theorem proving
formal proofs
errors occur
prediction error
error analysis
decision procedures
data mining
case study