COMS 4120: Formal Methods in Software Engineering
(Dual-listed with COMS 5120).
(Cross-listed with CPRE 4120/ SE 4120).
Credits: 3. Contact Hours: Lecture 3.
Prereq: COMS 3110, ENGL 2500 and (STAT 3005, STAT 3030, or STAT 3441)
A study of formal techniques for model-based specification and verification of software systems. Topics include logics, formalisms, graph theory, numerical computations, algorithmsand tools for automatic analysis of systems. Graduate credit requires in--depth study of concepts.