The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help
    Cleveland State University
  Jan 19, 2018
Graduate Catalog 2017-2018
[Add to Portfolio]

EEC 722 - Formal Methods in Software Engineering

[4 credit(s)]
Prerequisite: EEC 521, Software Engineering, or permission of instructor. 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.

Click here for the schedule of courses

[Add to Portfolio]