Explore Projects

Discover 1 open source projects

Active filters (1):

Search: software-verification×

Showing 1-1 of 1 projects

NASA-SW-VnV/ikos

A static analyzer for C/C++ based on Abstract Interpretation, useful for software verification and validation.

3.1K

Experimental

C++

Static Analysis

API Frameworks

#static-analysis#software-verification#program-analysis

Stay in the loop

Get weekly updates on trending AI coding tools and projects.