»
AFRL-Rome
Air Force Research Laboratory (Rome)
»
AFRL-SPI
Air Force Research Laboratory (Wright Paterson)
Anti-Tamper/Software Protection Initiative (AT-SPI)
»
AFRL-WP
Air Force Research Laboratory (Wright Paterson)
»
DARPA
Defense Advanced Research Projects Agency (DARPA)
»
HSARPA
Department of Homeland Security (DHS)
Homeland Security Advanced Research Projects Agency (HSARPA)
»
MDA
Missile Defense Agency (MDA)
»
NASA
National Aeronautics and Space Administration (NASA)
»
NIST
National Institute of Standards and Technology (NIST)
»
NSF
National Science Foundation (NSF)
»
ARMY
United States Army
»
NAVY
United States Navy (USN)
»
ONR
United States Navy (USN)
Office of Naval Research (ONR)
Research
/
Sponsors
/
National Aeronautics and Space Administration (NASA)
National Aeronautics and Space Administration (NASA)
Completed Projects
Continuous Integrated Invariant Inference (Ciii)
Static Detection of Bugs in Embedded Software using Lightweight Verification
Static Analysis for Automatic Differentiation
A Refactoring Environment for Incremental Migration of Legacy Code
Areas
|
Products
|
Sponsors
|
Publications
|
News
|
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.