At this moment, AVOCADI is being integrated into development tools of REXYGEN control system of REX Control company and safety control system SandRA of ZAT company.
Avocadi is also used for verification of algorithms without knowledge of the underlying control system (e.g. SKODA JS company).