Formal system verification : state-of the-art and future trends /

Formal system verification : state-of the-art and future trends /

Show other versions (1)
Bibliographic Details
Corporate Author: ProQuest (Firm)
Other Authors: Drechsler, Rolf (Editor)
Format: eBook
Language:English
Published: Cham, Switzerland : Springer, [2018]
Subjects:
Computer systems > Verification.
Computer software > Verification.
Integrated circuits > Verification.
Electronic systems.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • 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.