Undergraduate Catalog 2011-2012
UDM Academic PoliciesCourse DescriptionsList of All ProgramsFaculty


CSSE 4340 Software Systems Verification
Credit HoursRecitation/Lecture HoursStudio HoursClinical HoursLab Hours

Prerequisites:
CSSE 4150 (Minimum Grade of C, May not be taken concurrently)


Verification by Formal Proving of Software Systems, Verification of Implementation Against both Requirements and Design, Timing Analysis and Verification, Software Security Verification, Model checking, Automata Systems and Temporal Logic, Symbolic Model checking, Verification Tools.
300

College of Business Administration

Home | Contacts | Policies | Programs | Website

College of Engineering & Science

Home | Contacts | Policies | Programs | Website

College of Health Professions & McAuley School of Nursing

Home | Contacts | Policies | Programs | Website

College of Liberal Arts & Education

Home | Contacts | Policies | Programs | Website

School of Architecture

Home | Contacts | Policies | Programs | Website

School of Dentistry

Home | Contacts | Policies | Programs | Website

School of Law

Home | Contacts | Policies | Programs | Website



For more information about UDM, or to apply online, go to www.udmercy.edu/apply.


Print Friendly Print-friendly