CENG 651

Formal Methods for Safety and Security

Introduction to Formal Methods, Propositional Logic and Predicate Logic, Program Verification, CSP process algebra, Protocol Verification, Model Checking, System Modeling with Automata, System Properties Specification with Temporal Logics, Model Checking Algorithms, Symbolic Model Checking, Abstraction Methods, SPIN Model Checker.

Introduction to Formal Methods
Propositional Logic and Predicate Logic
Program Verification
Program Verification
CSP process algebra
Protocol Verification
Model Checking
System Modeling with Automata
System Properties Specification with Temporal Logics
Model Checking Algorithms
Model Checking Algorithms
Symbolic Model Checking
Abstraction Methods
SPIN Model Checker