"Computer Software+Verification." - ECU Libraries Catalog

Start Over

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

Showing 121 - 130 of 178 results

Search Results

Cover image for Theory and application of satisfiability testing - SAT 2011

Theory and application of satisfiability testing - SAT 2011

by SAT 2011
2011
Format: Electronic

Location
Access Content Online

Cover image for Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

by Beckert, Bernhard
2011
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software verification and testing

Hardware and software verification and testing

by International Haifa Verification Conference
2006
Format: Electronic

Location
Access Content Online

Cover image for 2017 IEEE 2nd International Verification and Security Workshop (IVSW)

2017 IEEE 2nd International Verification and Security Workshop (IVSW)

by IEEE Staff
2017
Format: Electronic

Location
Access Content Online

Cover image for Partial order methods in verification

Partial order methods in verification

1997
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.D5 P368 1997	✔ Available

Cover image for NASA software engineering benchmarking study

NASA software engineering benchmarking study

by Rarick, Heather L.
2013
Format: Electronic

Location
Access Content Online

Cover image for Verification of object-oriented software

Verification of object-oriented software

2007
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2006
Format: Electronic

Location
Access Content Online

Cover image for Formal approaches to software testing and runtime verification

Formal approaches to software testing and runtime verification

by FATES/RV 2006
2006
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification

Computer Aided Verification

by Alur, R.
1996
Format: Electronic

Location
Access Content Online