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

Search Results

Cover image for Formal methods and software engineering

Formal methods and software engineering

Location
Access Content Online
Cover image for Hardware and software, verification and testing

Hardware and software, verification and testing

Location
Access Content Online
Cover image for Hardware and software, verification and testing

Hardware and software, verification and testing

Location
Access Content Online
Cover image for Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

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 Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4)

Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4)

Location
Access Content Online
Cover image for Proceedings

Proceedings

Location
Access Content Online
Cover image for A comparison of software verification techniques

A comparison of software verification techniques

  • 1985
  • Format: Book
Location Call # Status
Joyner - Microforms B300 NAS 1.15:88585 ✔ Available
Joyner - Microforms B300 NAS 1.15:88585 ✔ Available
Joyner - Microforms B300 NAS 1.15:88585 ✔ Available
Cover image for Verified software : theories, tools, experiments

Verified software : theories, tools, experiments

Location
Access Content Online
Cover image for Computer aided verification

Computer aided verification

Location
Access Content Online