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.
MATH 0203 or adequate math placement, (CS 2703 or CS 2713) and (CS 2723 or CS 2743).
Find your way around campus with the help of our custom maps.