Software Verification

382 books
Reference information for the software verification and validation processDolores R. Wallace
⏱ 1h 25m

Reference information for the software verification and validation process

Dolores R. Wallace

199685 pp.
IEEE guide for software verification and validation plansUnknown Author
⏱ 1h 27m

IEEE guide for software verification and validation plans

Unknown Author

199487 pp.
Leveraging Applications of Formal Methods, Verification and ValidationTiziana Margaria
⏱ 10h 33m

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

2008633 pp.
Software testing and continuous quality improvementLewis, William E.
⏱ 8h 54m

Software testing and continuous quality improvement

Lewis, William E.

2005534 pp.
Software engineering reviews and auditsBoyd L. Summers
⏱ 4h 0m

Software engineering reviews and audits

Boyd L. Summers

2011240 pp.
Verification of sequential and concurrent programsKrzysztof R. Apt
⏱ 6h 43m

Verification of sequential and concurrent programs

Krzysztof R. Apt

1991403 pp.
Complete Symbolic Simulation of SystemC ModelsVladimir Herdt
⏱ 3h 4m

Complete Symbolic Simulation of SystemC Models

Vladimir Herdt

2016184 pp.
Runtime VerificationEzio Bartocci
⏱ 7h 22m

Runtime Verification

Ezio Bartocci

2015442 pp.
Computer Aided VerificationRupak Majumdar
⏱ 10h 30m

Computer Aided Verification

Rupak Majumdar

2017630 pp.
Model Checking SoftwareDragan Bošnački
⏱ 4h 20m

Model Checking Software

Dragan Bošnački

2016260 pp.
Verification, validation and testing in software engineeringUnknown Author
⏱ 7h 8m

Verification, validation and testing in software engineering

Unknown Author

2006428 pp.
Software testing foundationsAndreas Spillner
⏱ 4h 44m

Software testing foundations

Andreas Spillner

2011284 pp.
The Art Of Application Performance TestingIan Molyneaux
⏱ 3h 38m

The Art Of Application Performance Testing

Ian Molyneaux

2009218 pp.
Verification and Validation of Rule-Based Expert SystemsSuzanne Smith
⏱ 3h 44m

Verification and Validation of Rule-Based Expert Systems

Suzanne Smith

2018224 pp.
VerificationNachum Dershowitz
⏱ 13h 2m

Verification

Nachum Dershowitz

2004782 pp.
Computer Aided VerificationDaniel Kroening
⏱ 9h 42m

Computer Aided Verification

Daniel Kroening

2015582 pp.
Validation, verification, and testing of computer softwareW. Richards Adrion
⏱ 57m

Validation, verification, and testing of computer software

W. Richards Adrion

198157 pp.
Data flow analysisUday Khedker
⏱ 6h 35m

Data flow analysis

Uday Khedker

2008395 pp.
Computer aided verificationThomas Ball
⏱ 9h 24m

Computer aided verification

Thomas Ball

2006564 pp.
Runtime verificationRV 2008 (2008 Budapest, Hungary)
⏱ 3h 7m

Runtime verification

RV 2008 (2008 Budapest, Hungary)

2008187 pp.
← PreviousPage 2 of 20Next →