University of Connecticut University of UC Title Fallback Connecticut

SE 5302: Formal Methods


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.