Program Verification Computers

251 books
Software TestingBrian Hambling
⏱ 4h 36m

Software Testing

Brian Hambling

2009276 pp.
A practical guide to adopting the Universal Verification Methodology (UVM)Sharon Rosenberg
⏱ 4h 35m

A practical guide to adopting the Universal Verification Methodology (UVM)

Sharon Rosenberg

2010275 pp.
Software engineering conceptsR. E. Fairley
⏱ 6h 4m

Software engineering concepts

R. E. Fairley

1985364 pp.
Software testingGerald D. Everett
⏱ 4h 40m

Software testing

Gerald D. Everett

2006280 pp.
Principles of model checkingChristel Baier
⏱ 16h 24m

Principles of model checking

Christel Baier

2008984 pp.
An introduction to formal program verificationAli Mili
⏱ 4h 51m

An introduction to formal program verification

Ali Mili

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

Data flow analysis

Uday Khedker

2008395 pp.
Verified softwareVSTTE 2008 (2008 Toronto, Ont.)
⏱ 4h 22m

Verified software

VSTTE 2008 (2008 Toronto, Ont.)

2008262 pp.
Managing real-time software projectsLuqi
⏱ 10m

Managing real-time software projects

Luqi

199210 pp.
Hardware Verification With SystemVerilogMike Mintz
⏱ 5h 18m

Hardware Verification With SystemVerilog

Mike Mintz

2007318 pp.
Verification, Model Checking, and Abstract InterpretationAgostino Cortesi
⏱ 5h 37m

Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi

2002337 pp.
The foundations of program verificationJacques Loeckx
⏱ 3h 50m

The foundations of program verification

Jacques Loeckx

1984230 pp.
Verification, Model Checking, and Abstract InterpretationRadhia Cousot
⏱ 8h 3m

Verification, Model Checking, and Abstract Interpretation

Radhia Cousot

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

Validation, verification, and testing of computer software

W. Richards Adrion

198157 pp.
Parallel ALLSPD-3DDavid M. Fricker

Parallel ALLSPD-3D

David M. Fricker

1997No page data
SystemVerilog for VerificationChris Spear
⏱ 8h 30m

SystemVerilog for Verification

Chris Spear

2006510 pp.
Programmentwicklung und VerifikationGerald Futschek
⏱ 3h 14m

Programmentwicklung und Verifikation

Gerald Futschek

1989194 pp.
The foundations of program verificationJacques Loeckx
⏱ 3h 50m

The foundations of program verification

Jacques Loeckx

1984230 pp.
Validation, verification, and testing for the individual programmerMartha A. Branstad
⏱ 22m

Validation, verification, and testing for the individual programmer

Martha A. Branstad

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

Software engineering reviews and audits

Boyd L. Summers

2011240 pp.
Page 1 of 13Next →