Cargando…

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bernardo, Marco (Editor ), Cimatti, Alessandro (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 3965
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.