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 4083
