Symbolic Logic, Inc., a research and development organization, focuses on developing proprietary algorithms that model and predict behaviour of dynamic systems. It is also developing a set of tools ...