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

Search Results

Cover image for 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Location
Access Content Online
Cover image for 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)

Location
Access Content Online
Cover image for Verification, validation and testing in software engineering

Verification, validation and testing in software engineering

  • 2007
  • Format: Electronic
Location
Access Content Online
Cover image for Model checkers in software testing

Model checkers in software testing

Location Call # Status
Joyner - Microforms B300 C 13.58:6777 ✔ Available
Cover image for Principles of the Spin model checker

Principles of the Spin model checker

Location Call # Status
Joyner - General Stacks QA76.76.V47 B46 2008 ✔ Available
Cover image for Unfoldings

Unfoldings

Location Call # Status
Joyner - General Stacks QA76.76.V47 E8 2008 ✔ Available
Cover image for Modular compiler verification

Modular compiler verification

Location Call # Status
Joyner - General Stacks QA76.76.C65 M85 1997 ✔ Available
Cover image for 2015 Forum on Specification and Design Languages (FDL)

2015 Forum on Specification and Design Languages (FDL)

Location
Access Content Online
Cover image for Automatic verification of sequential infinite-state processes

Automatic verification of sequential infinite-state processes

Location
Access Content Online
Cover image for Computer aided verification

Computer aided verification

Location Call # Status
Joyner - General Stacks QA76.76.V47 C38 1998 ✔ Available