COM S 412: Formal Methods in Software Engineering
(Dual-listed with COM S 512). (Cross-listed with CPR E, S E). (3-0) Cr. 3.
Prereq: COM S 311; STAT 305 or STAT 330 or STAT 341; for graduate credit: graduate standing or permission of instructor
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.