Tool title |
Title of page above |
Type |
Government |
Owner/Source |
NASA |
Link |
|
Description |
Inference Kernel of Open Static Analyzers. IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. |
User |
ARC |
SWE |
SWE-135 |
