An edition of Current Trends in Hardware Verification and Automated Theorem Proving
(1989)
Current Trends in Hardware Verification and Automated Theorem Proving
by G. M. Birtwistle
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Current Trends in Hardware Verification and Automated Theorem Proving
1989, Springer New York
electronic resource /
in English
1461281954 9781461281955
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Contents: Correctness Properties of the Viper Block Model: The Second Level
Formal Verification of the Sobel Image Processing Chip
Specification-Driven Design of Custom Hardware in HOP
Formal Verification of a Microprocessor Using Equational Techniques
OBJ as a Theorem Prover with Applications to Hardware Verification
Formal Verification in m-EVES
The Interactive Proof Editor: An Experiment in Interactive Theorem Proving
An Overview of the Edinburgh Logical Framework
Automating Recursive Type Definitions in HOL
Mechanizing Programming Logics in Higher Order Logic
Automated Theorem Proving for Analysis and Synthesis of Computations
What Do Computer Architects Design Anyway?- Index.
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created June 29, 2019
- 4 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| February 27, 2022 | Edited by ImportBot | import existing book |
| October 10, 2020 | Edited by ImportBot | import existing book |
| August 3, 2020 | Edited by ImportBot | import existing book |
| June 29, 2019 | Created by MARC Bot | Imported from Internet Archive item record |