你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Symbolic Model Checking
Type
Physical Book
Author
Publisher
Language
English
Pages
194
Format
Paperback
Dimensions
23.4x15.6x1.2 cm
Weight
0.31 kg.
ISBN13
9781461363996
Categories

Symbolic Model Checking

Kenneth L. McMillan (Author) · Springer · Paperback

Symbolic Model Checking - McMillan, Kenneth L.

Cheaper New Book Imported to Taiwan
Delivery: 23 Oct - 05 Nov Shipping: 13 to 17 business days.
NT$ 1,850
Faster New Book Imported to Taiwan
Delivery: 14 Oct - 22 Oct Shipping: 6 to 7 business days.
NT$ 2,368
NT$ 1,850

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Symbolic Model Checking"

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. When the method of proof is carried out substantially by machine, we speak of automatic verification. Symbolic Model Checking deals with methods of automatic verification as applied to computer hardware. The practical motivation for study in this area is the high and increasing cost of correcting design errors in VLSI technologies. There is a growing demand for design methodologies that can yield correct designs on the first fabrication run. Moreover, design errors that are discovered before fabrication can also be quite costly, in terms of engineering effort required to correct the error, and the resulting impact on development schedules. Aside from pure cost considerations, there is also a need on the theoretical side to provide a sound mathematical basis for the design of computer systems, especially in areas that have received little theoretical attention.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews