Computer Program Verification

251 books
Formal methods for verification and validation of partial specificationsSteve Easterbrook

Formal methods for verification and validation of partial specifications

Steve Easterbrook

1997No page data
Statistical techniques for analytical review in auditingKenneth W. Stringer
⏱ 5h 2m

Statistical techniques for analytical review in auditing

Kenneth W. Stringer

1986302 pp.
Program construction and verificationRoland C. Backhouse
⏱ 4h 41m

Program construction and verification

Roland C. Backhouse

1986281 pp.
Compiler specification and verificationWolfgang Polak
⏱ 4h 29m

Compiler specification and verification

Wolfgang Polak

1981269 pp.
Analytical derivation of sotfware failure regionsTimothy J. Shimeall
⏱ 30m

Analytical derivation of sotfware failure regions

Timothy J. Shimeall

199130 pp.
Formal methods of V&V of partial specificationsS. M. Easterbrook

Formal methods of V&V of partial specifications

S. M. Easterbrook

1997No page data
Fracture mechanics life analytical methods verification testingUnknown Author

Fracture mechanics life analytical methods verification testing

Unknown Author

1994No page data
Data flow analysisUday Khedker

Data flow analysis

Uday Khedker

2009No page data
Toward fidelity between specification and implementationUnknown Author

Toward fidelity between specification and implementation

Unknown Author

1994No page data
Hardware verification with C++Mike Mintz
⏱ 5h 52m

Hardware verification with C++

Mike Mintz

2006352 pp.
Validation numericsR. Albrecht
⏱ 4h 51m

Validation numerics

R. Albrecht

1993291 pp.
FALTER--a fault annotation toolTimothy J. Shimeall
⏱ 12m

FALTER--a fault annotation tool

Timothy J. Shimeall

198912 pp.
Verified Software: Theories, Tools, ExperimentsBertrand Meyer-Stabley
⏱ 9h 6m

Verified Software: Theories, Tools, Experiments

Bertrand Meyer-Stabley

2008546 pp.
Specified programmingAndrzej Blikle
⏱ 24m

Specified programming

Andrzej Blikle

197824 pp.
Specification and verification of data base semantic integrityMichael L. Brodie
⏱ 2h 36m

Specification and verification of data base semantic integrity

Michael L. Brodie

1978156 pp.
Expert System verification and validation surveyInternational Business Machines Corporation

Expert System verification and validation survey

International Business Machines Corporation

1990No page data
Gradle DslsMatthew McCullough

Gradle Dsls

Matthew McCullough

2012No page data
A library of failure regionsTimothy J. Shimeall
⏱ 1h 36m

A library of failure regions

Timothy J. Shimeall

199196 pp.
Verification, model checking, and abstract interpretationVMCAI 2008 (2008 San Francisco, Calif.)
⏱ 5h 23m

Verification, model checking, and abstract interpretation

VMCAI 2008 (2008 San Francisco, Calif.)

2008323 pp.
Verification, model checking, and abstract interpretationVMCAI 2004 (Conference) (2004 Venice, Italy)
⏱ 5h 24m

Verification, model checking, and abstract interpretation

VMCAI 2004 (Conference) (2004 Venice, Italy)

2004324 pp.
← PreviousPage 3 of 13Next →