ISBN-10:
1441938524
ISBN-13:
9781441938527
Pub. Date:
10/29/2010
Publisher:
Springer US
Constraint-Based Verification / Edition 1

Constraint-Based Verification / Edition 1

Current price is , Original price is $179.99. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9781441938527
Publisher: Springer US
Publication date: 10/29/2010
Edition description: Softcover reprint of hardcover 1st ed. 2006
Pages: 254
Product dimensions: 6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

Constrained Random Simulation.- High Level Verification Languages.- Assertion Languages and Constraints.- Preliminaries.- Constrained Vector Generation.- Constraint Simplification.- More Optimizations.- Constraint Synthesis.- Constraint Diagnosis.- Word-Level Constraint Solving.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews