A Constructive Approach to Static Verification of Program Properties.

Roberto Barbuti Alberto Martelli

Published in: IFIP Congress (1983)

Keyphrases

symbolic execution
model checking
desirable properties
static analysis
neural network
genetic algorithm
information systems
decision making
image processing
relational databases
probabilistic model
software engineering
dynamic analysis
imperative programs