Software Producibility

GrammaTech's current software producibility work includes the following.

Run-time visualization of objects and object interactions in C++ program.
Showing software dependencies using the hierarchical, scalable viewing technology of Google Earth.
Model-checking multi-core applications.
Modernizing legacy software.