The IDE was built around a reactive kernel . Changes in the diagrammatic state machine editor instantly updated the textual Esterel or Lustre code, and vice versa. There was no "save → compile → view" cycle; it was continuous, thanks to an incremental formal verification engine running in the background.
Engineers use the built-in simulator to run and verify NC code or PLC logic before deploying it to an actual machine. UI Customization: syntec ide