On Generating Verification Conditions for Correctness Proofs.

Published in: Fachtagung über Programmiersprachen (1976)

Keyphrases

model checking
sufficient conditions
neural network
data sets
real world
theorem proving
environmental conditions
formal proof
database
data mining
social networks
case study
database systems
image sequences
automatically generating
concurrent systems