-
ARC Code TI: CFD Utility Software Library
The CFD Utility Software Library consists of nearly 30 libraries of Fortran 90 and 77 subroutines and almost 100 applications built on those libraries. Many of the utilities... -
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...