-
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: Geometry Manipulation Protocol (GMP)
The Geometry Manipulation Protocol (GMP) is a library which serializes datatypes between XML and ANSI C data structures to support CFD applications. This library currently... -
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...