Verification Computer software 9 Computer programs 8 Congresses 7 Integrated circuits 6 Computer-aided design 4 Data processing 4 Validation 4 Very large scale integration 4 Design and construction 3 Electronic digital computers 3 Evaluation 3 Expert systems (Computer science) 3 Parallel processing (Electronic computers) 3 Programming languages (Electronic computers) 2 Semantics 2 Arms control 1 Compilers (Computer programs) 1 Computational complexity 1 Data structures (Computer science) 1 Digital integrated circuits 1 Electronic data processing departments 1 LISP (Computer program language) 1 Manufacturing processes 1 PL/CV (Computer program language) 1 Parallel programming (Computer science) 1 Planning 1 Security measures 1 Sequential machine theory 1 Software documentation 1