Adalog provides commercial support for AdaControl. Support includes
the following services:

* Help with installation procedures.

* Explanations regarding the use of the tool, and help for translating
  coding standards into AdaControl rules.

* Correction of problems encountered in the use of AdaControl.
  Pre-releases versions of AdaControl are provided for each corrected
  problem.

Adalog cannot correct problems whose origin is due to compiler bugs or
defects in the implementation of ASIS (contact your compiler provider
for support on these problems). However, Adalog will do its best
effort to find workarounds for such problems.

In addition, Adalog can provide consulting services for defining
conding standards, as well as consulting services in all areas related
to Ada, real-time, compilation, etc. See http://www.adalog.fr for
details.

For pricing information about these services, please contact
info@adalog.fr
