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