software-verification
There are 45 repositories under software-verification topic.
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
There are 45 repositories under software-verification topic.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.