Soft Contract Verification for Higher-Order Stateful Programs.

Phuc C. Nguyen Thomas Gilray Sam Tobin-Hochstadt David Van Horn

Published in: CoRR (2017)

Keyphrases

higher order
symbolic execution
high order
natural images
model checking
low order
pairwise
markov random field
hardware designs
supply chain
computer programs
static analysis
signature verification
asynchronous circuits
verification method
face verification
lambda calculus
java bytecode
fixpoint