Computer Program Verification

251 books
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.
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.
Formal verification of the AAMP-FV microcodeUnknown Author

Formal verification of the AAMP-FV microcode

Unknown Author

1999No page data
Building and testing with GradleTim Berglund
⏱ 1h 42m

Building and testing with Gradle

Tim Berglund

2011102 pp.
Proceedings of VERkshop III--a formal verification workshop, 18-21 February 1985, Pajaro Dunes Conference Center, Watsonville, CaliforniaVERkshop (3rd 1985 Watsonville, Calif.)
⏱ 2h 20m

Proceedings of VERkshop III--a formal verification workshop, 18-21 February 1985, Pajaro Dunes Conference Center, Watsonville, California

VERkshop (3rd 1985 Watsonville, Calif.)

1985140 pp.
Next generation Java testingCédric Beust
⏱ 8h 18m

Next generation Java testing

Cédric Beust

2007498 pp.
Program analysis and compilation, theory and practiceThomas W. Reps
⏱ 6h 1m

Program analysis and compilation, theory and practice

Thomas W. Reps

2007361 pp.
The economics of software qualityCapers Jones
⏱ 9h 47m

The economics of software quality

Capers Jones

2012587 pp.
Putting time into proof outlinesFred B. Schneider

Putting time into proof outlines

Fred B. Schneider

1991No page data
Reachability ProblemsParosh Aziz Abdulla
⏱ 3h 43m

Reachability Problems

Parosh Aziz Abdulla

2010223 pp.
Ėlementy analiza programmS. A. Abramov
⏱ 2h 7m

Ėlementy analiza programm

S. A. Abramov

1986127 pp.
Moving formal methods into practiceMandayam Srivas

Moving formal methods into practice

Mandayam Srivas

1992No page data
Verifiable programmingOle-Johan Dahl
⏱ 4h 29m

Verifiable programming

Ole-Johan Dahl

1992269 pp.
Expert system verification and validation studyScott W. French

Expert system verification and validation study

Scott W. French

1991No page data
Program Logics for Certified CompilersAndrew W. Appel
⏱ 7h 52m

Program Logics for Certified Compilers

Andrew W. Appel

2014472 pp.
← PreviousPage 2 of 13Next →