Program Verification Computers

251 books
Software safety progress in NASACharles F. Radley

Software safety progress in NASA

Charles F. Radley

1995No page data
Hardware and Software: Verification and TestingKerstin Eder
⏱ 4h 29m

Hardware and Software: Verification and Testing

Kerstin Eder

2012269 pp.
Land surface temperature measurements from EOS MODIS dataZhengming Wan

Land surface temperature measurements from EOS MODIS data

Zhengming Wan

1993No page data
Verification and validation in scientific computingWilliam L. Oberkampf
⏱ 13h 10m

Verification and validation in scientific computing

William L. Oberkampf

2010790 pp.
The cleanroom case study in the Software Engineering LaboratoryUnknown Author

The cleanroom case study in the Software Engineering Laboratory

Unknown Author

1990No page data
Scientific computing with automatic result verificationUlrich Kulisch
⏱ 10h 12m

Scientific computing with automatic result verification

Ulrich Kulisch

1993612 pp.
Advanced topics in exception handling techniquesJorgen Lindskov Knudsen
⏱ 5h 1m

Advanced topics in exception handling techniques

Jorgen Lindskov Knudsen

2006301 pp.
Runtime VerificationBorzoo Bonakdarpour
⏱ 6h 7m

Runtime Verification

Borzoo Bonakdarpour

2014367 pp.
Hardware and Software : Verification and TestingEran Yahav
⏱ 5h 2m

Hardware and Software : Verification and Testing

Eran Yahav

2014302 pp.
Toward a formal verification of a floating-point coprocessor and its composition with a central processing unitJing Pan

Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit

Jing Pan

1991No page data
Software analysis handbookUnknown Author

Software analysis handbook

Unknown Author

1994No page data
MODIS Information, Data, and Control System (MIDACS) operations conceptsUnknown Author

MODIS Information, Data, and Control System (MIDACS) operations concepts

Unknown Author

1988No page data
Formal methods and their role in digital systems validation for airborne systemsJohn Rushby

Formal methods and their role in digital systems validation for airborne systems

John Rushby

1995No page data
Payload training methodology study (PTMS)Unknown Author

Payload training methodology study (PTMS)

Unknown Author

1990No page data
Good computer validation practicesTeri Stokes
⏱ 5h 30m

Good computer validation practices

Teri Stokes

1994330 pp.
The art of verification with VeraFaisal Imdad-Haque
⏱ 7h 32m

The art of verification with Vera

Faisal Imdad-Haque

2001452 pp.
Runtime verificationTurkey) RV (Conference) (3rd 2012 Istanbul
⏱ 5h 22m

Runtime verification

Turkey) RV (Conference) (3rd 2012 Istanbul

2013322 pp.
Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th BirthdayPierpaolo Degano
⏱ 13h 28m

Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday

Pierpaolo Degano

2008808 pp.
Runtime VerificationHoward Barringer

Runtime Verification

Howard Barringer

2010No page data
The E hardware verification languageSasan Iman
⏱ 5h 49m

The E hardware verification language

Sasan Iman

2004349 pp.
← PreviousPage 11 of 13Next →