Jun 20, 2024  
2009-2010 Graduate Catalog 
    
2009-2010 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 842 - Specification and Verification of Reactive Systems


Review of formal specification languages; architecture of concurrent and reactive systems; specification methods including: Z, Petri nets, temporal logic, state transition models; development and evaluation of system specifications; verification structures including layered systems, serialization, and predicate automata.

Credits: (3)

Requisites
Pr.: CIS 771.


KSIS Course Search




Add to Portfolio (opens a new window)