An Analytic Approach to the Verification of Iterative Programs.
Andrzej BliklePublished in: IFIP Congress (1977)
Keyphrases
- symbolic execution
- hardware designs
- formal verification
- model checking
- computer programs
- formal methods
- automatic programming
- iterative process
- answer sets
- face verification
- databases
- data structure
- programming environment
- multiscale
- high level
- program execution
- high security
- decision trees
- iterative optimization
- machine learning