Constraint-based Verification.

Constraint-based Verification

Regular price
Sale price
Regular price
Unit price
Free shipping (Guaranteed delivery 3-5 business days for In-Stock products)

ISBN details

  • ISBN 10: 0387259473
  • ISBN 13: 9780387259475


Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

Other Details

  • Publisher: Springer
  • Language: En
  • Edition: 2006
  • Pages: 266
  • Date Published: 2006
  • Authors: Yuan, Jun, Pixley, Carl, Aziz, Adnan