Cover Image
Read Now

41
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Is Formal Verification Bound to Remain a Junior Partner of Simulation...”
Cover Image
Read Now

42
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... of Constructive Classical Logic -- Formal Verification of the MCS List-Based Queuing Lock -- BDD-Nodes Can Be More...”
Cover Image
Read Now

43
Published 2021
Springer International Publishing
Table of Contents: “... and Formal Verification....”
Cover Image
Read Now

44
by Herdt, Vladimir, Große, Daniel, Drechsler, Rolf
Published 2021
Springer International Publishing
Table of Contents: “...Introduction -- Preliminaries -- An Open-Source RISC-V Evaluation Platform -- Formal Verification...”
Cover Image
Read Now

45
Published 2020
Springer International Publishing
Table of Contents: “... for Security Analysis of Cyber-Physical Systems -- Formal Verification of Industrial Systems Scalable Detection...”
Cover Image
Read Now

46
Published 2017
Springer International Publishing
Table of Contents: “...Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems...”
Cover Image
Read Now

47
by Wilcox, Paul
Published 2004
Springer US
Table of Contents: “...-Level Design -- Formal Verification Tools -- Testbench Development -- Advanced Testbenches -- Hardware...”
Cover Image
Read Now

48
Published 2019
Springer International Publishing
Table of Contents: “... Process and Validation -- Modelling -- Formal Verification -- Security....”
Cover Image
Read Now

49
Published 2020
Springer International Publishing
Table of Contents: “...Testing -- Formal verification -- Program analysis -- Runtime verification -- Meta-programming...”
Cover Image
Read Now

50
Published 2020
Springer International Publishing
Table of Contents: “... -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static...”
Cover Image
Read Now

51
by Kurshan, Robert P.
Published 2014
Princeton University Press
“...Formal verification increasingly has become recognized as an answer to the problem of how to create...”
Cover Image
Read Now

52
Published 2019
Springer International Publishing
Table of Contents: “...-Tolerant Consensus -- Formal Verification -- Checking Causal Consistency of Distributed Databases...”
Cover Image
Read Now

53
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Formal Verification Experience on the Willamette Development -- A Prototype Proof Translator from HOL...”
Cover Image
Read Now

54
Published 2019
Springer International Publishing
Table of Contents: “... Processing -- Software Product Lines -- Formal Verification -- Applications...”
Cover Image
Read Now

55
by Wille, Robert, Drechsler, Rolf
Published 2010
Springer Netherlands
Table of Contents: “... of Irreversible Functions -- Optimization -- Formal Verification and Debugging -- Summary and Conclusions...”
Cover Image
Read Now

56
Published 2015
Springer International Publishing
Table of Contents: “...Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration...”
Cover Image
Read Now

57
Published 2016
Springer International Publishing
Table of Contents: “... Language Processing -- Planning and Scheduling -- Formal Verification...”
Cover Image
Read Now

58
Published 2018
Springer International Publishing
Table of Contents: “...Formal verification techniques for automated analysis of software -- Formal analysis for modeling...”
Cover Image
Read Now

59
Published 2020
Springer International Publishing
Table of Contents: “... approach to testing concurrent Java programs with JPF and Maude -- Formal Verification -- An approach...”
Cover Image
Read Now

60
by Lam, William K. C.
Published 2005
Prentice Hall Professional Technical Reference