Login / Signup
Verification Conditions as Programs.
Maarten H. van Emden
Published in:
ICALP (1976)
Keyphrases
</>
sufficient conditions
model checking
symbolic execution
artificial intelligence
face verification
data sets
data structure
multi agent
optimal solution
video sequences
search algorithm
computer programs
experimental conditions
automatic programming
verification method
hardware designs