Explore Books on
program verification (computers)

Parallel ALLSPD-3D

By David M. Fricker

Land surface temperature measurements from EOS MODIS data

By Zhengming Wan

Measurement-based reliability/performability models

By Mei-Chen Hsueh

Follow-on low noise fan aerodynamic study

By Nathan J. Heidegger

Formal methods for verification and validation of partial specifications

By Steve Easterbrook

Expert system verification and validation study

By Scott W. French

The specification-based validation of Reliable Multicast Protocol

By Yunqing Wu

Performance validation of the ANSER control laws for the F-18 HARV

By Michael D. Messina

Experience report

By Edward A. Addy

An introduction to requirements capture using PVS

By Ricky W. Butler

The applicability of proposed object-oriented metrics to developer feedback in time to impact development

By Ralph D. Neal

The validation by measurement theory of proposed object-oriented software metrics

By Ralph D. Neal

Validation of the NPARC code for nozzle afterbody flows at transonic speeds

By James R. DeBonis

Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits

By David M. Russinoff

An approach to verification and validation of a reliable multicasting protocol

By John R. Callahan

Quantitative measures for software independent verification and validation

By Alice Lee

Formal design and verification of a reliable computing platform for real-time control

By Ricky W. Butler

Development of a software safety process and a case study of its use

By John C. Knight

UNIX-based operating systems robustness evaluation

By Yu-Ming Chang

UNIX-based operating systems robustness evaluation

By Youming Zhang

MODIS Information, Data, and Control System (MIDACS) operations concepts

By

Fracture mechanics life analytical methods verification testing

By

Toward fidelity between specification and implementation

By

The cleanroom case study in the Software Engineering Laboratory

By