Program Verification Computers

251 books
Software validationSymposium on Software Validation (1983 Darmstadt, Germany)
⏱ 6h 15m

Software validation

Symposium on Software Validation (1983 Darmstadt, Germany)

1984375 pp.
Verification, Model Checking, and Abstract InterpretationHutchison, David - undifferentiated

Verification, Model Checking, and Abstract Interpretation

Hutchison, David - undifferentiated

2009No page data
Compositional verification of concurrent and real-time systemsEric Y. T. Juan
⏱ 3h 26m

Compositional verification of concurrent and real-time systems

Eric Y. T. Juan

2002206 pp.
An approach to verification and validation of a reliable multicasting protocolJohn R. Callahan

An approach to verification and validation of a reliable multicasting protocol

John R. Callahan

1995No page data
Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parametersWei-Shen Hsia

Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parameters

Wei-Shen Hsia

1989No page data
Software design improvementsVincent R. Lalli

Software design improvements

Vincent R. Lalli

1997No page data
NASA software engineering benchmarking studyHeather L. Rarick
⏱ 2h 8m

NASA software engineering benchmarking study

Heather L. Rarick

2013128 pp.
A survey of program slicing for software engineeringJon Beck

A survey of program slicing for software engineering

Jon Beck

1993No page data
Verification, model checking, and abstract interpretationVMCAI 2010 (2010 Madrid, Spain)
⏱ 6h 35m

Verification, model checking, and abstract interpretation

VMCAI 2010 (2010 Madrid, Spain)

2010395 pp.
Data refinementW.-P. de Roever
⏱ 7h 3m

Data refinement

W.-P. de Roever

2009423 pp.
UNIX-based operating systems robustness evaluationYouming Zhang

UNIX-based operating systems robustness evaluation

Youming Zhang

1996No page data
UNIX-based operating systems robustness evaluationYu-Ming Chang

UNIX-based operating systems robustness evaluation

Yu-Ming Chang

1996No page data
Model Checking SoftwareAlex Groce
⏱ 3h 28m

Model Checking Software

Alex Groce

2011208 pp.
Guidelines for formal verification systemsUnknown Author
⏱ 35m

Guidelines for formal verification systems

Unknown Author

198935 pp.
The global coronal structure investigationL. Golub

The global coronal structure investigation

L. Golub

1998No page data
Software reliability studiesMary Ann Hoppa

Software reliability studies

Mary Ann Hoppa

1994No page data
Runtime VerificationKoushik Sen
⏱ 7h 50m

Runtime Verification

Koushik Sen

2012470 pp.
Tools for Practical Software VerificationBertrand Meyer
⏱ 3h 11m

Tools for Practical Software Verification

Bertrand Meyer

2012191 pp.
EDP auditingWeber, Ron
⏱ 13h 26m

EDP auditing

Weber, Ron

1982806 pp.
Compiler specification and verificationWolfgang Polak
⏱ 4h 29m

Compiler specification and verification

Wolfgang Polak

1981269 pp.
← PreviousPage 8 of 13Next →