Related Books

Formal Methods for Hardware Verification
Language: en
Pages: 250
Authors: Marco Bernardo
Categories: Computers
Type: BOOK - Published: 2006-05-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Desi
Formal Hardware Verification
Language: en
Pages: 388
Authors: Thomas Kropf
Categories: Computers
Type: BOOK - Published: 1997-08-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation
Formal Methods in Computer Science
Language: en
Pages: 279
Authors: Jiacun Wang
Categories: Computers
Type: BOOK - Published: 2019-06-21 - Publisher: CRC Press

DOWNLOAD EBOOK

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It ha
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 533
Authors: C.R. Ramakrishnan
Categories: Computers
Type: BOOK - Published: 2008-04-03 - Publisher: Springer

DOWNLOAD EBOOK

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstr
Hardware Design Verification
Language: en
Pages: 585
Authors: William K. C. Lam
Categories: Computers
Type: BOOK - Published: 2005 - Publisher: Prentice Hall

DOWNLOAD EBOOK

The Practical, Start-to-Finish Guide to Modern Digital Design Verification As digital logic designs grow larger and more complex, functional verification has be