The EDICT® Tool Suite enables system developers, engineers, and architects to capture important properties of the system as models of system architecture and behavior. They can assess the safety and efficiency of architectural mechanisms. Traceable artifacts ensure that requirements for dependability, safety and error handling are met and certifiable. When integrating the EDICT® tools into the overall process, these features empower stakeholders to achieve verification and validation (V&V) more quickly and with less risk and reduced costs.
See the EDICT® Tool Suite brochure for more details.