Stock image for illustration purposes only - book cover, edition or condition may vary.
Symbolic Model Checking
Kenneth McMillan
€ 64.37
FREE Delivery in Ireland
Description for Symbolic Model Checking
Paperback. Num Pages: 194 pages, biography. BIC Classification: THR; TJFC; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 338.
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. ... Read more
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. ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Number of pages
194
Condition
New
Number of Pages
194
Place of Publication
New York, NY, United States
ISBN
9781461363996
SKU
V9781461363996
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Symbolic Model Checking