Advanced Software Engineering

Software engineering is the application of scientific methods to software development and maintenance. This course provides an in-depth study of advanced concepts and techniques of automatic software generation and analysis. Topics include software process programming, symbolic execution, model checking, property generation and checking, and runtime verification of complex software systems.