Ada-ASSURED™

Ada-ASSURED ensures consistent coding style, prevents syntax errors, and provides productivity features for writing and reviewing Ada code. An extension of Ada-ASSURED, which provides batch-mode processing, is Ada-Utilities.

Because GrammaTech is now focused on static analysis for C and C++, we are no longer shipping Ada-ASSURED.


Free Trial | Products | Customers | Support | News | Jobs | About Us © 2007-2012, GrammaTech, Inc. All rights reserved.
The Synthesizer Generator, Ada-ASSURED, Ada-Utilities, and SmashProof are trademarks of GrammaTech, Inc. CodeSurfer and CodeSonar are registered trademarks of GrammaTech, Inc.