IE 640LEC - Formal Methods for Reliable Human-Interactive Systems

This course provides an introduction to formal methods and formal verification and their application to human factors engineering. The course will cover mathematics used in computation theory and formal methods: automata theory, formal modeling, and formal specification. It will also describe how these can be used to account for usability, mode confusion, normative and erroneous human behavior, and perception in the analysis of human-interactive systems.

Credits: 3