Appendix: Conjectures Concerning Proof, Design, and Verification.

Published in: TPHOLs (2000)

Keyphrases

design process
software architecture
design principles
engineering design
neural network
genetic algorithm
learning algorithm
image sequences
search algorithm
building blocks
user experience
design methodology
optimal design
formal verification
functional verification