Yannick Duchêne (Hibou57) <yannick_duchene@Yahoo.Fr> sent on October 9th, 2011:
|-------------------------------------|
|"[..]                                |
|[..] SPARK [..] and there is no ready|
|accessible alternatives)."           |
|-------------------------------------|

There are many alternatives, but they lack built-in
integration with Ada by default.