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

Search Results

Cover image for Formal approaches to software testing and runtime verification

Formal approaches to software testing and runtime verification

Location
Access Content Online
Cover image for Computer Aided Verification

Computer Aided Verification

Location
Access Content Online
Cover image for 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)

Location
Access Content Online
Cover image for The cleanroom case study in the Software Engineering Laboratory

The cleanroom case study in the Software Engineering Laboratory

  • 1990
  • Format: Microform
Location Call # Status
Joyner - Microforms B300 NAS 1.15:103390 ✔ Available
Cover image for An introduction to requirements capture using PVS

An introduction to requirements capture using PVS

Location
Access Content Online
Cover image for Certified programs and proofs

Certified programs and proofs

Location
Access Content Online
Cover image for Investigation of specification measures for the Software Engineering Laboratory

Investigation of specification measures for the Software Engineering Laboratory

  • 1984
  • Format: Book
Location Call # Status
Joyner - Microforms B300 NAS 1.15:88591 ✔ Available
Joyner - Microforms B300 NAS 1.15:88591 ✔ Available
Joyner - Microforms B300 NAS 1.15:88591 ✔ Available
Cover image for Computer aided verification

Computer aided verification

Location Call # Status
Joyner - General Stacks QA76.76.V47 C38 1997 ✔ Available
Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

Location
Access Content Online
Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

Location
Access Content Online