»
AFRL-Rome
Air Force Research Laboratory (Rome)
»
AFRL-SPI
Air Force Research Laboratory (Wright Paterson)
Anti-Tamper/Software Protection Initiative (AT-SPI)
»
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
/
Department of Homeland Security (DHS)
Department of Homeland Security (DHS)
Homeland Security Advanced Research Projects Agency (HSARPA)
Current Projects
Concolic Testing with Metronome
CodeSonar with Metronome
Completed Projects
Model Checking Software Binaries
Areas
|
Products
|
Sponsors
|
Publications
|
News
|
About Us
© 2007-2010, GrammaTech, Inc. All rights reserved.