An Introduction to the Construction and Verification of Alphard Programs.
William A. WulfRalph L. LondonMary ShawPublished in: IEEE Trans. Software Eng. (1976)
Keyphrases
- hardware designs
- symbolic execution
- construction process
- machine learning
- concurrent systems
- model checking
- computer programs
- fixpoint
- java bytecode
- control structures
- program execution
- test generation
- signature verification
- database
- face verification
- multi agent systems
- high level
- decision trees
- image processing
- data sets