The Application of Program Verification to Hardware Verification
- 1 January 1979
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 375-381
- https://doi.org/10.1109/dac.1979.1600139
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Applications of Symbolic Execution to Program TestingComputer, 1978
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967