Skip to main content
NASA Open Data Portal
Datasets
About
Search
Home
Datasets
Order by
Relevance
Name Ascending
Name Descending
Last Modified
Popular
Go
1 dataset found
Tags:
application
abstract-interpretation
Organizations:
NASA
Filter Results
ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)
IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an application...
TAR
You can also access this registry using the
API
(see
API Docs
).