CSC 4340 - Software Systems Verification

Institution:

University of Detroit Mercy

Subject:

Computer Science

Description:

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. Recommended prerequisite - CSC 4150 Introduction to Software Engineering.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.udmercy.edu

Phone Number:

(313) 993-1000

Regional Accreditation:

North Central Association of Colleges and Schools

Calendar System:

Semester

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.