The Verification of MDG Algorithms in the HOL Theorem Prover

by Sa'ed Abed

Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking (MC)) or deductive reasoning (theorem proving). The combination... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3838317386
• ISBN13: 9783838317380
• Release Date: October 2009
• Publisher: LAP Lambert Academic Publishing
• Length: 160 Pages
• Weight: 0.54 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"