Current Trends in Hardware Verification and Automated Theorem Proving
By: edited by Graham Birtwistle, P. A. Subrahmanyam
Contributors: Subrahmanyam, P. A.
Publisher: Springer New York
Published: 1989
Place of publication: New York, NY
Language: eng
Format: [electronic resource] /
Number of pages: 489
ISBN-13: 9781461281955; 9781461236580
Subjects: Engineering; Electronics
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Contents: Correctness Properties of the Viper Block Model: The Second Level; title: Formal Verification of the Sobel Image Processing Chip; title: Specification-Driven Design of Custom Hardware in HOP; title: Formal Verification of a Microprocessor Using Equational Techniques; title: OBJ as a Theorem Prover with Applications to Hardware Verification; title: Formal Verification in m-EVES; title: The Interactive Proof Editor: An Experiment in Interactive Theorem Proving; title: An Overview of the Edinburgh Logical Framework; title: Automating Recursive Type Definitions in HOL; title: Mechanizing Programming Logics in Higher Order Logic; title: Automated Theorem Proving for Analysis and Synthesis of Computations; title: What Do Computer Architects Design Anyway?- Index.