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

Search Results

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

Location
Access Content Online
Cover image for Verified software

Verified software

Location
Access Content Online
Cover image for Data refinement

Data refinement

Location Call # Status
Joyner - General Stacks QA79.9.C65 R64 1998 ✔ Available
Cover image for Modular compiler verification

Modular compiler verification

Location
Access Content Online
Cover image for Compiler Specification

Compiler Specification

Location
Access Content Online
Cover image for Software design improvements

Software design improvements

Location Call # Status
Joyner - Microforms B300 NAS 1.15:107402/PT.2 ✔ Available
Cover image for A Survey of verification techniques for parallel programs

A Survey of verification techniques for parallel programs

  • 1985
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.5 .S897 1985 ✔ Available
Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

Location
Access Content Online
Cover image for RIACS workshop on the verification and validation of autonomous and adaptive systems

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

Location Call # Status
Joyner - Microforms B300 NAS 1.15:210927 ✔ Available
Cover image for Computer Aided Verification

Computer Aided Verification

  • 2006
  • Format: Electronic
Location
Access Content Online