Company:NASALocation:Moffett Field, CA
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
This is the project page for the Autonomy V&V Roadmap and Vision 2045