STIMULUS
下图显示了 STIMULUS 的一个屏幕截图，其中的需求仿真导致发生一些冲突。一旦由 STIMULUS 检测到冲突，用户就可以使用调试功能（向后仿真、突出显示需求、信号监控等）来分析冲突。
模块说明