Computer software - Verification.

Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by: (Language materials, printed)

Introducing Gradle by: (Language materials, printed)

Assurances for self-adaptive systems = Principles, Models, and Techniques / by: (Language materials, printed)

Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday / by: (Language materials, printed)

Software verification and analysis = an integrated, hands-on approach / by: (Language materials, printed)

Test pattern generation using boolean proof engines by: (Language materials, printed)

Industrial used of formal method DUP_1 = formal verification / by: (Language materials, printed)

Industrial used of formal method = formal verification / by: (Language materials, printed)

Dependable software systems engineering by: (Language materials, printed)

Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs / by: (Language materials, printed)

Transactions on foundations for mastering change I by: (Language materials, printed)

Deductive software verification - The KeY Book = from theory to practice / by: (Language materials, printed)

Embedded software verification and debugging by: (Language materials, printed)

String analysis for software verification and security by: (Language materials, printed)

Software engineering = specification, implementation, verification / by: (Language materials, printed)

Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / by: (Language materials, printed)

Formal verification of Simulink/Stateflow diagrams = a deductive approach / by: (Language materials, printed)

Guide to software verification with Frama-C = core components, usages, and applications / by: (Language materials, printed)

Verification, validation and testing in software engineering by: (Language materials, printed)