What is Reactis Validator?
Reactis Validator performs automated searches of models for violations of user-specified requirements. If Validator finds a violation of a requirement, it returns a test that leads to the problem. This test may then be executed in Reactis Simulator to gain an understanding of the sequence of events that leads to the problem. This tool enables the early detection of design errors and inconsistencies and reduces the effort required for design reviews.
