STIMULUS provides modeling and simulation environment in which to edit, debug, and test requirements. Constraint-based, real-time language is used to express requirements in natural language, while algorithm-based simulation engine generates and analyzes executable traces that satisfy requirements. By discovering incorrect, ambiguous, missing, or incomplete requirements before design phase starts, engineers can reduce specification errors, process iterations, and design expenditure.