Formally Validating a Practical Verification Condition Generator (extended version).

Gaurav Parthasarathy Peter Müller Alexander J. Summers

Published in: CoRR (2021)

Keyphrases

sufficient conditions
real world
practical application
signature verification
data sets
practical problems
dbase iv
database