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

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

EEC 521 - Software Engineering