Formal Verification of Algorithms for Critical Systems.

John M. Rushby Friedrich W. von Henke

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

Keyphrases

formal verification
model checking
automated verification
computational cost
learning algorithm
significant improvement
computer vision algorithms
evolutionary algorithm
computer systems
computationally efficient
theoretical analysis
heuristic search
temporal logic