Cover Image
Read Now

21
by Griggio, Alberto
Published 2022
TU Wien Academic Press
Subjects: “...Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification...”
Cover Image
Read Now

22
by Piskac, Ruzica
Published 2021
TU Wien Academic Press
Subjects: “...Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification...”
Cover Image
Read Now

23
by Ivrii, Alexander
Published 2020
TU Wien Academic Press
Subjects: “...Formal Verification, Specification, Synthesis, and Testing...”
Cover Image
Read Now

24
by Cardoso, Rafael C.
Published 2021
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...formal verification...”
Cover Image
Read Now

25
by Kang, Kyungtae
Published 2021
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...formal verification...”
Cover Image
Read Now

26
by Maglaras, Leandros
Published 2021
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...formal verification...”
Cover Image
Read Now

27
by Fujita, Masahiro
Published 2008
Morgan Kaufmann Publishers
Table of Contents: “.... Basic Technology for Formal Verification -- 4. Verification Algorithms for FSM Models -- 5. Static...”
Cover Image
Read Now

28
Published 2019
Springer International Publishing
Table of Contents: “... and Formal Verification -- Wireless and Testbed Application -- Uncertainty Analytics and Formal Verification...”
Cover Image
Read Now

29
by Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf
Published 2019
Springer International Publishing
Table of Contents: “... -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits...”
Cover Image
Read Now

30
by Cerny, Eduard, Dudani, Surrendra, Havlicek, John, Korchemny, Dmitry
Published 2015
Springer International Publishing
Table of Contents: “... Considerations -- Part V. Formal Verification -- Introduction to Assertion-Based Formal Verification.- Formal...”
Cover Image
Read Now

31
Published 2018
Springer International Publishing
Table of Contents: “... -- Formal Verification - The Industrial Perspective...”
Cover Image
Read Now

32
Published 2010
Springer US
Table of Contents: “... Divider -- Use of Formal Verification at Centaur Technology -- Designing Tunable, Verifiable Cryptographic...”
Cover Image
Read Now

33 Table of Contents: “... Verification -- Formal Verification and Models -- Clocks -- Resets -- Procedural Concurrent Assertions...”
Cover Image
Read Now

34
by Singh, Gaurav, Shukla, Sandeep Kumar
Published 2010
Springer New York
“... techniques for formal verification of such designs. It will provide the readers with definitions of various...”
Cover Image
Read Now

35
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... the Harmonisation of UML and SDL -- Localizing Program Errors for Cimple Debugging -- Formal Verification of a...”
Cover Image
Read Now

36
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains...”
Cover Image
Read Now

37
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Approaches in Engineering -- Specification and Formal Verification of Temporal Properties of Production...”
Cover Image
Read Now

38
Published 1989
Springer New York
Table of Contents: “...1 Correctness Properties of the Viper Block Model: The Second Level -- 2 Formal Verification...”
Cover Image
Read Now

39
Published 1999
Springer London
Table of Contents: “... The Formal Verification of a Payment System -- 4 Specification of a Chemical Process Controller in B -- 5...”
Cover Image
Read Now

40
Published 2024
Springer Nature Switzerland
Table of Contents: “... Formal Verification of Node RED-based IoT Applications -- Formal Verification of a Post-Quantum Signal...”