software-verification

There are 44 repositories under software-verification topic.

  • ikos

    Static analyzer for C/C++ based on the theory of Abstract Interpretation.

    Language:C++2k