Apr 17, 2024  
2013-2014 Graduate Catalog 
    
2013-2014 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

SEGR 543 - Applied Formal Methods

3 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)