3Credit Hours3Class Hours0Laboratory Hours Prerequisites:CS 8431 and completion of CS 6001, 6002, 6003. A study of the use of simulation in the design and verification of complex software systems, specifically including real-time systems with hard timing constraints.