Constraint-based verification.

Type:

boek

Titel:

Constraint-based verification.

Auteur:

Yuan, Jun; Aziz, Adnan; Pixley, Carl

Jaar:

2006

Taal:

Engels

Uitgever:

New York : Springer, 2006

Plaatsnummer:

PENTA.663 YUAN 06 (PENTA)

ISBN:

0387259473

Samenvatting:

Introduction.- 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.-

Permalink:

http://bibtest.howest.be/catalog/hws01:001928352