SSW 345 Modeling and Simulation
This course provides an introduction to the development and application of formal models for the specification, design, and automatic analysis of software systems, to increase the reliability and correctness of the software systems, in particular software critical to the safety of systems. Topics include a brief overview of logic and set theory, the use of formalism to describe models and build simulators of software systems, and the emphasis on tool-based specification and verification of a model's properties.