Verification of Programs with Higher-Order Arrays.
Wojciech KowalczykPawel UrzyczynPublished in: FCT (1987)
Keyphrases
- higher order
- symbolic execution
- high order
- model checking
- hardware designs
- natural images
- markov random field
- pairwise
- computer programs
- lower order
- low order
- neural network
- database
- face verification
- formal methods
- case study
- automatic programming
- cellular automata
- object recognition
- programming environment
- test generation
- e learning
- provably correct
- linear array
- java bytecode
- databases