The figure below shows a STIMULUS screenshot where requirements simulation leads to some conflict. Once detected by STIMULUS, the conflict can be analyzed by the user using the debugging features (backward simulation, highlight of requirements, signal monitoring, etc).
Debug and Test System Specifications
With STIMULUS, you can simulate the complete system specification (requirements, state machines and block diagrams) as a whole and find specification errors before the design phase, adopting an effective requirement, and test-driven development process. STIMULUS generates many execution traces that satisfy system specifications and provides powerful debugging features to analyse requirements simulation results: automatic detection and diagnosis of conflicting and missing requirements, requirements coverage, highlight of active requirements, signal monitoring, etc.