Cover Image
Read Now

121
Published 2020
Springer International Publishing
Table of Contents: “... Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification...”
Cover Image
Read Now

122
Published 2023
Springer International Publishing
Table of Contents: “..., and Formal Verification -- An Email a Day Could Give Your Health Data Away -- Explanation of Black Box AI...”
Cover Image
Read Now

123
Published 2019
Springer International Publishing
Table of Contents: “... -- Fault Tolerance in 3D-ICs -- Formal Verification for Security in IoT Devices -- SENSE: Sketching...”
Cover Image
Read Now

124
by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022
Springer International Publishing
Table of Contents: “...-Computer Interaction -- 8 Formal Verification of Security Protocols -- Part IV Wrapping up: 9 Origins...”
Cover Image
Read Now

125
Published 2011
Springer Berlin Heidelberg
“...; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement...”
Cover Image
Read Now

126
Published 2024
Springer Nature Switzerland
“... methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI...”
Cover Image
Read Now

127
Published 1993
Springer London
Table of Contents: “... Verification of Concurrent Systems with TLA -- The DECspec Project: Tools for Larch/C -- Formal Verification...”
Cover Image
Read Now

128
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Imperfect Digital Systems -- Formal Verification and Hardware Design with Statecharts -- An Exercise...”
Cover Image
Read Now

129
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... UML Models -- Verification of UML models by translation to UML-B -- Towards the UML-based Formal...”
Cover Image
Read Now

130
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Behavioral Technique for Workflow Abstraction and Matching -- Erratum -- Towards Formal...”
Cover Image
Read Now

131 Table of Contents: “... Machines -- 1. Background -- 2. CFSMs: Semantics -- 3. Mathematical Model -- 4. Formal Verification of CFSM...”
Cover Image
Read Now

132
Published 2001
Springer US
Table of Contents: “... System -- Formal Verification -- 22. Port-Stitching: An Interface-Oriented Hardware Specification...”
Cover Image
Read Now

133
Published 2022
Springer International Publishing
Table of Contents: “... -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification...”
Cover Image
Read Now

134
Published 2016
Springer International Publishing
Table of Contents: “... Formal Verification for Theorems and Its Application in Software Specification Verification -- Your Proof...”
Cover Image
Read Now

135
Published 2022
Springer International Publishing
Table of Contents: “... Neural Networks -- Abstract Interpretation of LLVM with a Region-Based Memory Model -- NSV 2021 -- Formal...”
Cover Image
Read Now

136
Published 2001
Springer US
Table of Contents: “... to Formal Verification of Analog Circuits -- A Low Power Bicmos 1 GHZ Super-Regenerative Transceiver for ISM...”
Cover Image
Read Now

137
Published 2022
Springer International Publishing
Table of Contents: “... Recordings using Summarized Spectrogram and Convolutional Neural Networks -- Formal Verification Techniques...”
Cover Image
Read Now

138
Published 2020
Springer International Publishing
Table of Contents: “... -- Seamless Interactive Program Verification -- Formal Verification of Work Flow Policies for Smart Contracts...”
Cover Image
Read Now

139
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Layer Protocol -- SMT-Based Formal Verification of a TTEthernet Synchronization Function -- Embedded...”
Cover Image
Read Now

140
Published 2019
Springer International Publishing
“... of topics, including testing, formal verification, program analysis, runtime verification, malware...”