-
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... -
ARC Code TI: CODE Software Framework
CODE is a software framework for control and observation in distributed environments. The basic functionality of the framework allows a user to observe a distributed set of...