The VectorCAST testing environment is an ideal complement to the static analysis capabilities available in GNAT Pro, together providing a very powerful and thorough validation and verification tool chain.

Cyrille Comar, Managing Director
AdaCore
Testimonials