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

Search Results

Cover image for Model checking software

Model checking software

Location Call # Status
Joyner - General Stacks QA76.76.V47 I58 2006 ✔ Available
Cover image for Theoretical and practical aspects of SPIN model checking

Theoretical and practical aspects of SPIN model checking

Location Call # Status
Joyner - General Stacks QA76.76.V47 S68 1999 ✔ Available
Cover image for Model checking software

Model checking software

Location
Access Content Online
Cover image for The SPIN verification system

The SPIN verification system

Location Call # Status
Joyner - General Stacks QA76.76.V4 W677 1996 ✔ Available
Cover image for SPIN model checking and software verification

SPIN model checking and software verification

Location Call # Status
Joyner - General Stacks QA76.76.V47 I58 2000 ✔ Available
Cover image for New trends in software methodologies, tools and techniques

New trends in software methodologies, tools and techniques

Location
Access Content Online
Cover image for Tools for practical software verification

Tools for practical software verification

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 Partial-order methods for the verification of concurrent systems

Partial-order methods for the verification of concurrent systems

Location Call # Status
Joyner - General Stacks QA76.58 .G63 1996 ✔ Available
Cover image for Concurrency verification

Concurrency verification

  • 2001
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.58 .C6643 2001 ✔ Available