This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.
Stand with UkraineDonate
- Home
- Ohio
- Cleveland State University
- Course info
- eec-622 - formal-methods-in-software-engineering
Cleveland State University Course Info
Cleveland, Ohio
Course Info
Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.
EEC 622
Formal Methods in Software Engineering
Software system formal mechanisms, including specification, validation, and verification. Formal specification of concurrent systems using temporal logics. Evolution of formalism to model a certain system. Use of model checking and program verification tools for verification of concurrent software.
Units: 4.0
Prerequisites:
EEC 521 - Software Engineering