CIS 842 - Specification and Verification of Reactive Systems

Credits: 3

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.

Requisites:
Prerequisite: CIS 771.