|
Aug 31, 2024
|
|
|
|
SEGR 543 - Applied Formal Methods3 credit hours Formal techniques for building reliable systems. Use of abstractions for concisely and precisely defining system behavior. Formal logic and proof techniques for verifying the correctness of programs. Hierarchies of abstractions, state transition models, Petri Nets, communicating processes. Operational and definitional specification languages. Prerequisite: SEGR 503
Add to Portfolio (opens a new window)
|
|