University of Connecticut University of UC Title Fallback Connecticut

SE 5302: Formal Methods

Description

This course is designed to provide students with an introduction to formal methods as a framework for the specification, design, and verification of software-intensive embedded systems. Topics include automata theory, model checking, theorem proving, and system specification.  Examples are driven by cyber-physical systems.

Prerequisite

SE 5301-Embedded/Networked Systems Modeling Abstractions

Detailed Course Description