Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 3965 | Lecture Notes in Computer Science ; 3965Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Descripción: VIII, 244 p. online resourceTipo de contenido:- text
- computer
- online resource
- 9783540343059
- SpringerLink (Online service)
- 005.1 23
- QA76.758
Contenidos:
Springer eBooks
No hay ítems correspondientes a este registro
Hardware Design and Simulation for Verification -- Automatic Test Pattern Generation -- An Introduction to Symbolic Trajectory Evaluation -- BDD-Based Hardware Verification -- SAT-Based Verification Methods and Applications in Hardware Verification -- Building Efficient Decision Procedures on Top of SAT Solvers -- Refinement and Theorem Proving -- Floating-Point Verification Using Theorem Proving.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.