论文信息 - The Application of Program Verification to Hardware Verification - 字舞流文

The Application of Program Verification to Hardware Verification

John A. Darringer

[1] Daniel Brand,et al. Microprogram verification considered necessary , 1978, AFIPS National Computer Conference.

[2] James C. King,et al. Applications of Symbolic Execution to Program Testing , 1978, Computer.

[3] Robin Milner,et al. An Algebraic Definition of Simulation Between Programs , 1971, IJCAI.

[4] Donald Irvin Good,et al. Toward a man-machine system for proving program correctness , 1970 .

[5] Robert S. Boyer,et al. Proving Theorems about LISP Functions , 1973, JACM.

[6] Allen Newell,et al. Computer Structures: Readings and Examples, , 1971 .