shop by

The Secd Microprocessor: A Verification Case Study (Hardcover)

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

The SECD Microprocessor is a substantial case study in hardware specification and verification. The subject is a silicon implementation of Landins SECD machine, which is transformed into a layout, formally specified, and partially verified using the HOL proof assistant. It is important as a nontrivial worked example, clearly describing the organization and execution of the correctness of proof, and by making the sources available, will be helpful to those considering the use or learning about the application of formal methods. The architecture is designed to provide support for functional programming, with complex machine instruction to support recursive definitions and function calls. This considerably raises the complexity of the state transitions to be verified, and an abstract data type and operations are introduced to express the specification. The SECD Microprocessor illustrates what formal methods can achieve today, not only by some expert elite, but by anyone prepared to carefully consider the problems at hand. *Author: Graham, Brian T. *Series Title: Kluwer International Series in Engineering & Computer Science *Series Number: 178 *Binding Type: Hardcover *Number of Pages: 192 *Publication Date: 1992/05/31 *Language: English *Dimensions: 9.21 x 6.14 x 0.50 inches


Publisher Springer
Mfg Part# 9780792392453
SKU 213788001
Format Hardcover
ISBN10 0792392450
Release Date 1/11/2010
Product Attributes
Book Format Hardcover
Number of Pages 0192
Publisher Springer
Series Part 178
$219.43 + $2.75 shipping
Rakuten Super Points Earn 220 ($2.20) Rakuten Super Points™
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.
Learn More
Get this item for
(price with shipping)
(redeem points)
Format: Hardcover
Condition: Brand New
In Stock. Usually Ships in 1 to 2 business days
Please select an option to buy
Add to Cart

Sold By:  UnbeatableSale
What is a Marketplace and Shop Owner?
  • Our marketplace is a platform where approved third-party retailers (Shop Owners) can sell their products
  • Items are sold and shipped by Shop Owners
  • Your credit card and personal information remain secure; meets all PCI Security Standards.
  • Purchases can only be returned to the Shop Owner
  • All purchases receive Rakuten Super Points™
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details