In This Chapter
About this tutorial
Use MSCs to jumpstart your SDL project
Use MSCs to rapidly prototype requirements
Use MSCs to perform automatic early fault detection
Use MSCs to automatically generate test cases
Use MSCs for architecture definition and validation
Use MSCs to design components
Use KLOCwork MSC to SDL Synthesizer for SDL training
