Automatic Construction of Verification Condition Generators From Hoare Logics.

Mark Moriconi Richard L. Schwartz

Published in: ICALP (1981)

Keyphrases

automatic construction
expressive power
sufficient conditions
modal logic
formal verification
model checking
neural network
functional verification
inference rules
data sets
database
higher order
default logic
classical logic
query language
databases
epistemic logic
asynchronous circuits
false acceptance