CS 2753

COURSE DETAIL

CS 2753

Information System Assurance
Prerequisites: Math 0203 or adequate math placement test score, (CS 2703 or CS 2713) and (CS 2723 or CS 2743).
3 Credits

Students will learn design and analysis methods for high assurance information systems. Topics covered will consist of safety, reliability, security, and specification of mission-critical system properties. Software and hardware validation, as well as verification and certification are also included. This course satisfies the computer proficiency requirement.