Cover Image
Read Now

2
by Seligman, Erik, Schubert, E. Thomas, Kumar, M. V. Achutha Kiran
Published 2023
Morgan Kaufmann
“...Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical...”
Cover Image
Read Now

3
by Drechsler, Rolf
Published 2000
Springer US
“...Formal verification has become one of the most important steps in circuit design. Since circuits...”
Cover Image
Read Now

4
Published 2004
Springer US
Table of Contents: “...-Based Verification -- Formal Verification for Nonlinear Analog Systems: Approaches to Model...”
Cover Image
Read Now

5
by Ray, Sandip
Published 2010
Springer US
Table of Contents: “...Preliminaries -- Overview of Formal Verification -- to ACL2 -- Sequential Program Verification...”
Cover Image
Read Now

6
by Garoche, Pierre-Loïc
Published 2019
Princeton University Press
“... unified approach especially geared to graduate students in both fields, covering formal verification...”
Cover Image
Read Now

7
Published 2012
Springer Berlin Heidelberg
“... Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October...”
Cover Image
Read Now

8
Published 2011
Springer Berlin Heidelberg
“... Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June...”
Cover Image
Read Now

9
by Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf
Published 2023
Springer International Publishing
Cover Image
Read Now

10
by Zhan, Naijun, Wang, Shuling, Zhao, Hengjun
Published 2017
Springer International Publishing
“...This book presents a state-of-the-art technique for formal verification of continuous-time Simulink...”
Cover Image
Read Now

11
by Schnieber, Martha
Published 2023
Springer Fachmedien Wiesbaden
“..., for which formal verification methods have been established. However, the verification process using formal...”
Cover Image
Read Now

12
by Russinoff, David M.
Published 2019
Springer International Publishing
Cover Image
Read Now

13
by Jones, Robert B.
Published 2002
Springer US
“...Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related...”
Cover Image
Read Now

14
by Ganai, Malay, Gupta, Aarti
Published 2007
Springer US
“.... SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest...”
Cover Image
Read Now

15
by Russinoff, David M.
Published 2022
Springer International Publishing
Table of Contents: “... -- Instructions -- Part V - Formal Verification of RTL Designs -- The RAC Modeling Language -- Double-Precision...”
Cover Image
Read Now

17
by Herdt, Vladimir
Published 2016
Springer Fachmedien Wiesbaden
Table of Contents: “...Verification of Systems -- Introduction to Formal Verification of SystemC Models -- Symbolic Model...”
Cover Image
Read Now

18
by Chuat, Laurent, Legner, Markus, Basin, David, Hausheer, David
Published 2022
Springer International Publishing
Table of Contents: “...-Wide Low-Latency Authentication -- VI Formal Verification -- Motivation for Formal Verification...”
Cover Image
Read Now

19
by Breitner, Joachim
Published 2016
KIT Scientific Publishing
Subjects: “... Semantics Formal Verification Haskell Isabelle...”
Cover Image
Read Now

20
by Nadel, Alexander
Published 2023
TU Wien Academic Press
Subjects: “...Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification...”