Software Verification

382 books
Building and testing with GradleTim Berglund
⏱ 1h 42m

Building and testing with Gradle

Tim Berglund

2011102 pp.
Tools and Methods for Program AnalysisVladimir Itsykson
⏱ 3h 29m

Tools and Methods for Program Analysis

Vladimir Itsykson

2017209 pp.
Leveraging Applications of Formal Methods, Verification and Validation. VerificationTiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria

2018No page data
Software Verification and Validation: An Engineering and Scientific ApproachMarcus S. Fisher
⏱ 2h 52m

Software Verification and Validation: An Engineering and Scientific Approach

Marcus S. Fisher

2007172 pp.
Software Verification and ValidationMarcus S. S. Fisher
⏱ 3h 2m

Software Verification and Validation

Marcus S. S. Fisher

2010182 pp.
Runtime VerificationShuvendu Lahiri
⏱ 7h 31m

Runtime Verification

Shuvendu Lahiri

2017451 pp.
Verification and Validation of Modern Software-Intensive SystemsG. Gordon Schulmeyer
⏱ 8h 32m

Verification and Validation of Modern Software-Intensive Systems

G. Gordon Schulmeyer

2000512 pp.
Optimize Quality For Business Outcomes A Practical Approach To Software TestingAndreas Golze

Optimize Quality For Business Outcomes A Practical Approach To Software Testing

Andreas Golze

2008No page data
Verification, Validation and Testing in Software EngineeringAristides Dasso
⏱ 7h 8m

Verification, Validation and Testing in Software Engineering

Aristides Dasso

2007428 pp.
Independent verification and validation for space shuttle flight softwareUnknown Author

Independent verification and validation for space shuttle flight software

Unknown Author

1992No page data
Guideline for software verification and validation plansUnited States. National Bureau of Standards.

Guideline for software verification and validation plans

United States. National Bureau of Standards.

1987No page data
Software verification and validationSteven R. Rakitin
⏱ 4h 31m

Software verification and validation

Steven R. Rakitin

1997271 pp.
Software verification and validation for practitioners and managersSteven R. Rakitin
⏱ 6h 27m

Software verification and validation for practitioners and managers

Steven R. Rakitin

2001387 pp.
Modultest und ModulverifikationPeter Liggesmeyer
⏱ 5h 21m

Modultest und Modulverifikation

Peter Liggesmeyer

1990321 pp.
Software reviews and audits handbookCharles P. Hollocker
⏱ 4h 0m

Software reviews and audits handbook

Charles P. Hollocker

1990240 pp.
The software audit guideJohn W. Helgeson

The software audit guide

John W. Helgeson

2009No page data
Verification and validation guidelines for high integrity systemsHerbert Hecht

Verification and validation guidelines for high integrity systems

Herbert Hecht

1995No page data
Analysis of large system black box verification test dataKenneth C. Clapp

Analysis of large system black box verification test data

Kenneth C. Clapp

1993No page data
Open Verification Methodology CookbookMark Glasser
⏱ 4h 15m

Open Verification Methodology Cookbook

Mark Glasser

2009255 pp.
Principles of the Spin model checkerM. Ben-Ari
⏱ 3h 36m

Principles of the Spin model checker

M. Ben-Ari

2008216 pp.
← PreviousPage 5 of 20Next →