Program Verification Computers

251 books
Data flow analysisUday Khedker

Data flow analysis

Uday Khedker

2009No page data
Toward fidelity between specification and implementationUnknown Author

Toward fidelity between specification and implementation

Unknown Author

1994No page data
Hardware verification with C++Mike Mintz
⏱ 5h 52m

Hardware verification with C++

Mike Mintz

2006352 pp.
Validation numericsR. Albrecht
⏱ 4h 51m

Validation numerics

R. Albrecht

1993291 pp.
FALTER--a fault annotation toolTimothy J. Shimeall
⏱ 12m

FALTER--a fault annotation tool

Timothy J. Shimeall

198912 pp.
Verified Software: Theories, Tools, ExperimentsBertrand Meyer-Stabley
⏱ 9h 6m

Verified Software: Theories, Tools, Experiments

Bertrand Meyer-Stabley

2008546 pp.
Specified programmingAndrzej Blikle
⏱ 24m

Specified programming

Andrzej Blikle

197824 pp.
Specification and verification of data base semantic integrityMichael L. Brodie
⏱ 2h 36m

Specification and verification of data base semantic integrity

Michael L. Brodie

1978156 pp.
Program verificationFrancez, Nissim.
⏱ 5h 12m

Program verification

Francez, Nissim.

1992312 pp.
Expert System verification and validation surveyInternational Business Machines Corporation

Expert System verification and validation survey

International Business Machines Corporation

1990No page data
Gradle DslsMatthew McCullough

Gradle Dsls

Matthew McCullough

2012No page data
A library of failure regionsTimothy J. Shimeall
⏱ 1h 36m

A library of failure regions

Timothy J. Shimeall

199196 pp.
Verification, model checking, and abstract interpretationVMCAI 2008 (2008 San Francisco, Calif.)
⏱ 5h 23m

Verification, model checking, and abstract interpretation

VMCAI 2008 (2008 San Francisco, Calif.)

2008323 pp.
Verification, model checking, and abstract interpretationVMCAI 2004 (Conference) (2004 Venice, Italy)
⏱ 5h 24m

Verification, model checking, and abstract interpretation

VMCAI 2004 (Conference) (2004 Venice, Italy)

2004324 pp.
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.
Program verification using AdaAndrew D. McGettrick
⏱ 5h 45m

Program verification using Ada

Andrew D. McGettrick

1982345 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
← PreviousPage 3 of 13Next →