Computer software - Verification.

Formal verification of Simulink/Stateflow diagrams = a deductive approach / by: (書目-電子資源)

Embedded software verification and debugging by: (書目-電子資源)

String analysis for software verification and security by: (書目-電子資源)

Formal system verification = state-of the-art and future trends / by: (書目-電子資源)

Automated validation & verification of UML/OCL models using satisfiability solvers by: (書目-電子資源)

Lectures on runtime verification = introductory and advanced topics / by: (書目-電子資源)

Practical security properties on commodity computing platforms = the uber extensible micro-hypervisor framework / by: (書目-電子資源)

Model checking, synthesis, and learning = essays dedicated to Bengt Jonsson on the occasion of his 60th birthday / by: (書目-電子資源)

Challenges of software verification by: (書目-電子資源)

Provably correct systems by: (書目-電子資源)

Guide to software verification with Frama-C = core components, usages, and applications / by: (書目-電子資源)

Principles of verification: cycling the probabilistic landscape = essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part III / by: (書目-電子資源)

Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part II / by: (書目-電子資源)

Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part I / by: (書目-電子資源)

Software verification and analysis = an integrated, hands-on approach / by: (書目-語言資料,印刷品)

Test pattern generation using boolean proof engines by: (書目-語言資料,印刷品)

Specification and verification of multi-agent systems by: (書目-語言資料,印刷品)

Time for verification = essays in memory of Amir Pnueli / by: (書目-語言資料,印刷品)

Debugging at the electronic system level by: (書目-語言資料,印刷品)

Rigorous software development = an introduction to program verification / by: (書目-電子資源)

Data flow analysis = theory and practice / by: (書目-電子資源)

Introducing Gradle by: (書目-電子資源)

Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs / by: (書目-電子資源)

Dependable software systems engineering by: (書目-電子資源)

Deductive software verification - The KeY Book = from theory to practice / by: (書目-電子資源)

Software engineering = specification, implementation, verification / by: (書目-電子資源)

Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / by: (書目-電子資源)

Deductive software verification = future perspectives : reflections on the occasion of 20 years of KeY / by: (書目-電子資源)

Introducing software verification with Dafny language = proving program correctness / by: (書目-電子資源)

Runtime verification = a hands-on approach in Java / by: (書目-電子資源)

Concise guide to software verification = from model checking to annotation checking / by: (書目-電子資源)