Credit Hours: 3Introduces the use of mathematical models of software systems for their specification and validation. Includes finite state machine models, models of concurrent systems, verification of models, and limitations of these techniques. Prerequisite:CSE 3421 and CSE 4083
