A formal method for computer design verification

This publication has 9 references indexed in Scilit:

• A Survey of the State of the Art of Design Automation
  Computer, 1981
• Logic Synthesis Through Local Transformations
  IBM Journal of Research and Development, 1981
• Symbolic Simulation for Correct Machine Design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• The Application of Program Verification to Hardware Verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• Applications of Symbolic Execution to Program Testing
  Computer, 1978
• Automatic program verification I: A logical basis and its implementation
  Acta Informatica, 1975
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967
• A programming language
  Published by Association for Computing Machinery (ACM) ,1962