Start Over
You searched for: subject "Computer programs+Verification."

Search Results

Cover image for PLPV'07

PLPV'07

Location
Access Content Online
Cover image for Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center

Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center

Location
Access Content Online
Cover image for Numerical software with result verification

Numerical software with result verification

  • 2004
  • Format: Electronic
Location
Access Content Online
Cover image for Program analysis and compilation, theory and practice

Program analysis and compilation, theory and practice

  • 2007
  • Format: Electronic
Location
Access Content Online
Cover image for Guidelines for formal verification systems

Guidelines for formal verification systems

  • 1989
  • Format: Book
Location Call # Status
Joyner - Fed Docs Stacks D 1.79/4:014/VER.1 ✔ Available
Cover image for Transformational derivation of programs using the Focus system

Transformational derivation of programs using the Focus system

Location
Access Content Online
Cover image for Experiences with Cray multi-tasking

Experiences with Cray multi-tasking

Location Call # Status
Joyner - Microforms B300 NAS 1.15:88200 ✔ Available
Joyner - Microforms B300 NAS 1.15:88200 ✔ Available
Joyner - Microforms B300 NAS 1.15:88200 ✔ Available
Cover image for Hardware and software verification and testing

Hardware and software verification and testing

Location
Access Content Online
Cover image for Modelling distributed systems

Modelling distributed systems

Location Call # Status
Joyner - General Stacks QA 76.58 .F65 2007 ✔ Available
Cover image for NASA software engineering benchmarking study

NASA software engineering benchmarking study

Location
Access Content Online