PVS - design for a practical verification system.

Charles H. Applebaum James G. Williams

Published in: ACM Annual Conference (1984)

Keyphrases

formal verification
computer aided
real world
user interface
optimal design
machine learning
social networks
decision making
image processing
relational databases
knowledge based systems
building blocks
engineering design
design tools
formal methods
functional verification