Constraint-Based Verification

De qué va esta obra

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.

Descubre cómo acceder al libro

Sigue tu recorrido por la biblioteca: consulta las opciones disponibles para esta obra.

Valoración