guillaume66

NASAMoffett Field, CA

Pinned Repositories

ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++00
AVVRV2045
This is the project page for the Autonomy V&V Roadmap and Vision 2045
00
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++2.8k 62 234195

guillaume66's Repositories

guillaume66/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++00