Constraint-Based Verification
Wersja papierowa
Autor:
Yuan Jun
Wydawnictwo:
Springer Nature B.V.ISBN: 978-14-419-3852-7
Format: 15.6x23.4cm
Liczba stron: 272
Oprawa: Miękka
Wydanie: 2010 r.
Język: angielski
Dostępność: dostępny
728,90 zł
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.
