Topic
Computer programs -- Verification
28 books
The foundations of program verification
Jacques Loeckx and Kurt Sieber in collaboration with Ryan D. Stansifer.
Validation, verification, and testing of computer software
W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky.
Programmentwicklung und Verifikation
Gerald Futschek
A survey ofverification techniques for parallel programs
Howard Barringer.
Data refinement: model-oriented proof methods and their comparison
Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.].
An introduction to formal program verification
Ali Mili.
Programming logics: an introduction to verification and semantics
Raymond D. Gumb.
Specification and verification of data base semantic integrity
Michael Lawrence Brodie.
A computer system for checking proofs
by Scott D. Johnson.
Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request: under contracts NAS1-19341 and NAS9-18817
Ben L. Di Vito, Larry W. Roberts.
Showing 10 of 28 books