Strong Verification of Programs.
Sanat K. BasuRaymond T. YehPublished in: IEEE Trans. Software Eng. (1975)
Keyphrases
- symbolic execution
- model checking
- hardware designs
- verification method
- control structures
- program execution
- asynchronous circuits
- functional verification
- data mining
- java bytecode
- prolog programs
- provably correct
- control program
- software engineering
- artificial neural networks
- relational databases
- multiscale
- case study
- image processing
- decision making