Cover Image
Read Now

101
Published 2016
Springer International Publishing
Table of Contents: “... Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a...”
Cover Image
Read Now

102
by Akesson, Benny, Goossens, Kees
Published 2012
Springer New York
“... for formal verification of real-time systems; Introduces the concept of composability, which is a divide...”
Cover Image
Read Now

103
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... for Discrete and Real-time Systems -- 11. Formal Verification in a Commercial Setting -- II. Hybrid Systems...”
Cover Image
Read Now

104
Published 2018
Springer International Publishing
Table of Contents: “... -- Secure Protocol of ABAC Certificates Revocation and Delegation -- Formal Verification -- Formal Analysis...”
Cover Image
Read Now

105
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Formal verification of pipelined processors -- Fully local and efficient evaluation of alternating...”
Cover Image
Read Now

106
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... with Mathematica and ACL2 -- Semi-formal Verification of Memory Systems by Symbolic Simulation -- CTL May...”
Cover Image
Read Now

107
Published 2011
Springer Berlin Heidelberg
“... are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk...”
Cover Image
Read Now

108
Published 2012
Springer Berlin Heidelberg
“... submissions. The papers cover various topics such as automata applications in formal verification methods...”
Cover Image
Read Now

109
Published 2016
Springer International Publishing
“... are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly...”
Cover Image
Read Now

110
Published 2016
Springer International Publishing
“.../concurrent/distributed programming, distributed databases, cloud systems, networks, security, and formal...”
Cover Image
Read Now

111
by Herde, Christian
Published 2011
Vieweg+Teubner Verlag
“... applications, the formal verification of such systems is increasingly gaining importance. Many automatic...”
Cover Image
Read Now

112
Published 2011
Springer Berlin Heidelberg
“... divided into two paradigms - formal verification and dynamic verification (testing)...”
Cover Image
Read Now

113
by Dennis, Louise, Fisher, Michael
Published 2023
Cambridge University Press
“... intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal...”
Cover Image
Read Now

114
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Experimental Evaluation of a Planning Language Suitable for Formal Verification -- Relaxation Refinement: A New...”
Cover Image
Read Now

115
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Verification Flow -- Synthesis Flow -- II. Industrial Experience -- Application of a Formal Verification...”
Cover Image
Read Now

116
Published 2017
Springer International Publishing
Table of Contents: “... for Manufacturing -- Model-Based Engineering of Supervisory Controllers for Cyber- Physical Systems -- Formal...”
Cover Image
Read Now

117
Published 2015
Springer International Publishing
Table of Contents: “... Distribution -- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure...”
Cover Image
Read Now

118
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Composable Mixed Mode Concurrency Control Semantics for Transactional Programs -- Towards a Formal...”
Cover Image
Read Now

119
Published 2016
Springer International Publishing
Table of Contents: “... Checker of the Safe Distance Traffic Rules for Autonomous Vehicles -- Probabilistic Formal Verification...”
Cover Image
Read Now

120
Published 1993
Springer Netherlands
Table of Contents: “... Notation in Human Insight -- Limits of Correctness in Computers -- IV / Focus on Formal Verification...”