Soft contract verification for higher-order stateful programs.
Phuc C. NguyenThomas GilraySam Tobin-HochstadtDavid Van HornPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- higher order
- high order
- symbolic execution
- natural images
- model checking
- markov random field
- hardware designs
- real time
- low order
- pairwise
- computer programs
- formal verification
- java bytecode
- genetic algorithm
- face verification
- object oriented
- static analysis
- java programs
- lower order
- programming environment
- knowledge base
- case study
- conditional random fields
- expert systems
- supply chain