Consequence Verification of Flowcharts.

Keith L. Clark Maarten H. van Emden

Published in: IEEE Trans. Software Eng. (1981)

Keyphrases

model checking
concurrent systems
formal verification
databases
formal methods
decision making
multimedia
digital libraries
expert systems
evolutionary algorithm
probability distribution
computer vision
face verification
machine learning
neural network
person identification
database