CPRE 4120: Formal Methods in Software Engineering
(Dual-listed with COMS 5120).
(Cross-listed with COMS 4120/ SE 4120).
Credits: 3. Contact Hours: Lecture 3.
Prereq: COMS 3110; (STAT 3050 or STAT 3300 or STAT 3410)
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.