-
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...