Program Verification Computers

251 books
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.
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
← PreviousPage 2 of 13Next →