Formal system verification : state-of the-art and future trends / Rolf Drechsler, editor.
Drechsler, Rolf, editor.
2018
QA76.76.V47
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Formal system verification : state-of the-art and future trends / Rolf Drechsler, editor.
ISBN
9783319576855 (electronic book)
3319576852 (electronic book)
9783319576831
3319576836
DOI
https://doi.org/10.1007/978-3-319-57685-5
Published
Cham, Switzerland : Springer, [2018]
Language
English
Description
1 online resource.
Item Number
10.1007/978-3-319-57685-5 doi
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1/4
Summary
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Vendor-supplied metadata.
Added Author
Drechsler, Rolf, editor.
Available in Other Form
Print version: 3319576836
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Formal Techniques for Verification and Coverage Analysis of Analog Systems
Verification of Incomplete Designs
Probabilistic Model Checking: Advances and Applications
Software in a Hardware View
Formal Verification
The Industrial Perspective.

Browse Subjects

Show more subjects...

Statistics

from
to
Export