Computer software - Verification.

Assurances for self-adaptive systems = Principles, Models, and Techniques / by: (書目-語言資料,印刷品)

Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday / by: (書目-語言資料,印刷品)

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

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

Industrial used of formal method DUP_1 = formal verification / by: (書目-語言資料,印刷品)

Industrial used of formal method = formal verification / by: (書目-語言資料,印刷品)

Dependable software systems engineering by: (書目-語言資料,印刷品)

Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs / by: (書目-語言資料,印刷品)

Transactions on foundations for mastering change I by: (書目-語言資料,印刷品)

Deductive software verification - The KeY Book = from theory to practice / by: (書目-語言資料,印刷品)

Embedded software verification and debugging by: (書目-語言資料,印刷品)

String analysis for software verification and security 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: (書目-語言資料,印刷品)

Formal verification of Simulink/Stateflow diagrams = a deductive approach / by: (書目-語言資料,印刷品)