Computer software - Verification.

Test pattern generation using boolean proof engines by: (書目-電子資源)

Verification of infinite-state systems with applications to security by: (書目-電子資源)

Verification of sequential and concurrent programs by: (書目-電子資源)

Modular compiler verificationa refinement-algebraic approach advocating stepwise abstraction / by: (書目-電子資源)

Specification and verification of multi-agent systems by: (書目-電子資源)

Time for verificationessays in memory of Amir Pnueli / by: (書目-電子資源)

Debugging at the electronic system level by: (書目-電子資源)

Verification and validation in systems engineeringassessing UML/SysML design models / by: (書目-電子資源)

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

Software engineering reviews and audits / by: (書目-語言資料,印刷品)

Formal modelingactors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by: (書目-電子資源)

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

Industrial used of formal methodformal verification / by: (書目-電子資源)

Correct software in web applications and web services by: (書目-電子資源)

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

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

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

Transactions on foundations for mastering change I by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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