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

Search Results

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 Extensions of the UNITY methodology

Extensions of the UNITY methodology

Location Call # Status
Joyner - General Stacks QA76.642 .R43 1995 ✔ Available
Cover image for A methodology for the design and verification of globally asynchronous/locally synchronous architectures

A methodology for the design and verification of globally asynchronous/locally synchronous architectures

  • 2005
  • Format: Electronic
Location
Access Content Online
Cover image for Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Location
Access Content Online
Cover image for Parallel ALLSPD-3D

Parallel ALLSPD-3D

Location Call # Status
Joyner - Microforms B300 NAS 1.15:107489 ✔ Available
Cover image for Extensions of the UNITY methodology

Extensions of the UNITY methodology

Location
Access Content Online
Cover image for Parallel ALLSPD-3D

Parallel ALLSPD-3D

Location
Access Content Online
Cover image for Validation of the NPARC code for nozzle afterbody flows at transonic speeds

Validation of the NPARC code for nozzle afterbody flows at transonic speeds

Location Call # Status
Joyner - Microforms B300 NAS 1.15:106971 ✔ Available
Cover image for Automated verification of specifications with typestates and access permissions

Automated verification of specifications with typestates and access permissions

Location
Access Content Online
Cover image for Verification of object-oriented software

Verification of object-oriented software

  • 2007
  • Format: Electronic
Location
Access Content Online