Edinburgh Research Explorer

Experiments in Automating Hardware Verification using Inductive Proof Planning

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Experiments in Automating Hardware Verification using Inductive Proof Planning. / Cantu, Francisco; Bundy, Alan; Smaill, Alan; Basin, David.

Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA. Springer-Verlag, 1996.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Cantu, F, Bundy, A, Smaill, A & Basin, D 1996, Experiments in Automating Hardware Verification using Inductive Proof Planning. in Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA. Springer-Verlag.

APA

Cantu, F., Bundy, A., Smaill, A., & Basin, D. (1996). Experiments in Automating Hardware Verification using Inductive Proof Planning. In Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA Springer-Verlag.

Vancouver

Cantu F, Bundy A, Smaill A, Basin D. Experiments in Automating Hardware Verification using Inductive Proof Planning. In Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA. Springer-Verlag. 1996.

Author

Cantu, Francisco ; Bundy, Alan ; Smaill, Alan ; Basin, David. / Experiments in Automating Hardware Verification using Inductive Proof Planning. Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA. Springer-Verlag, 1996.