generates faulty test inputs for Compute Intensive Cyber-Physical Models.
supports developer in the iterative top-down development of state machines.
an assumption generation approach for CPS.
creates complex robotic missions using on a set of mission specification patterns
generates automated test oracles for Cyber Physical System models.
checks Metric Interval Temporal Logic (MITL) properties on Timed Automata (TA).