"Computer Software+Verification." - ECU Libraries Catalog

Start Over

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

Showing 101 - 110 of 180 results

Search Results

Cover image for Verified software

Verified software

by VSTTE (Conference)
2014
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2004
Format: Book

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

Cover image for Model checking software

Model checking software

by International SPIN Workshop
2003
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software

Hardware and software

by International Haifa Verification Conference
2011
Format: Electronic

Location
Access Content Online

Cover image for Software design improvements

Software design improvements

by Lalli, Vincent R.
1997
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV '92
1993
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.E93 C38 1993	✔ Available

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
1995
Format: Book

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

Cover image for Computer aided verification

Computer aided verification

by CAV '91
1992
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.E93 C38 1992	✔ Available

Cover image for Partial-order methods for the verification of concurrent systems

Partial-order methods for the verification of concurrent systems

by Godefroid, Patrice
1996
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification

Computer Aided Verification

by Touili, Tayssir
2010
Format: Electronic

Location
Access Content Online