Computer Program Verification

251 books
Verifiable programmingOle-Johan Dahl
⏱ 4h 29m

Verifiable programming

Ole-Johan Dahl

1992269 pp.
Verificación de programas y metodología de la programaciónArantza Díaz de Ilarraza Sánchez
⏱ 3h 19m

Verificación de programas y metodología de la programación

Arantza Díaz de Ilarraza Sánchez

1990199 pp.
Verification, model checking, and abstract interpretationVMCAI 2002 (2002 Venice, Italy)
⏱ 5h 30m

Verification, model checking, and abstract interpretation

VMCAI 2002 (2002 Venice, Italy)

2002330 pp.
Vorträge von der Thematischen Konferenz KNWWTProblemkommission für Multilaterale Zusammenarbeit der Akademien der Wissenschaften der Sozialistischen Länder zu Wissenschaftlichen Fragen der Rechentechnik.

Vorträge von der Thematischen Konferenz KNWWT

Problemkommission für Multilaterale Zusammenarbeit der Akademien der Wissenschaften der Sozialistischen Länder zu Wissenschaftlichen Fragen der Rechentechnik.

1977No page data
Compiler Specification And VerificationW. Polak

Compiler Specification And Verification

W. Polak

1981No page data
Verification, model checking, and abstract interpretationVMCAI 2005 (2005 Paris, France)
⏱ 8h 1m

Verification, model checking, and abstract interpretation

VMCAI 2005 (2005 Paris, France)

2005481 pp.
Leveraging Applications of Formal Methods, Verification and Validation : Foundational TechniquesTiziana Margaria
⏱ 16h 37m

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques

Tiziana Margaria

2016997 pp.
Computer program testingSummer School on Computer Program Testing (1981 Urbino)
⏱ 5h 25m

Computer program testing

Summer School on Computer Program Testing (1981 Urbino)

1981325 pp.
The applicability of proposed object-oriented metrics to developer feedback in time to impact developmentRalph D. Neal

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

Ralph D. Neal

1996No page data
Proving operating systems correctRichard Alan Karp
⏱ 2h 41m

Proving operating systems correct

Richard Alan Karp

1983161 pp.
Experience reportEdward A. Addy

Experience report

Edward A. Addy

1996No page data
A computer system for checking proofsScott D. Johnson
⏱ 4h 22m

A computer system for checking proofs

Scott D. Johnson

1982262 pp.
An introduction to the PL/CV2 programming logicRobert L. Constable

An introduction to the PL/CV2 programming logic

Robert L. Constable

1982No page data
Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der ProgrammerstellungAlfred Lothar Luft
⏱ 53m

Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung

Alfred Lothar Luft

197553 pp.
Programming logicsRaymond D. Gumb
⏱ 5h 34m

Programming logics

Raymond D. Gumb

1989334 pp.
RIACS workshop on the verification and validation of autonomous and adaptive systemsCharles Pecheur

RIACS workshop on the verification and validation of autonomous and adaptive systems

Charles Pecheur

2001No page data
Actes des Journées francophones sur la certification du logicielJournées francophones sur la certification du logiciel (1979 Geneva, Switzerland)
⏱ 2h 35m

Actes des Journées francophones sur la certification du logiciel

Journées francophones sur la certification du logiciel (1979 Geneva, Switzerland)

1979155 pp.
Verifikat︠s︡ii︠a︡ avtomatnykh programmS. Ė. Velʹder
⏱ 4h 4m

Verifikat︠s︡ii︠a︡ avtomatnykh programm

S. Ė. Velʹder

2011244 pp.
Guideline for lifecycle validation, verification, and testing of computer softwareUnited States. National Bureau of Standards
⏱ 37m

Guideline for lifecycle validation, verification, and testing of computer software

United States. National Bureau of Standards

198437 pp.
Follow-on low noise fan aerodynamic studyNathan J. Heidegger

Follow-on low noise fan aerodynamic study

Nathan J. Heidegger

1999No page data
← PreviousPage 4 of 13Next →