From Stanford University and Kestrel Labs •  Reasoning was formed at Stanford University and Kestrel Labs, then incorporated in 1984 as a software research firm. The early company developed a proprietary software analysis technology, Refine, which has been a widely used framework for creating language analysis solutions.

Pioneers in Advanced Static Analysis •  In 1995, Reasoning won a three-year grant from the National Institute for Standards and Technology (NIST) under the Advanced Technology Program for Component-Based Software. The outcome of Reasoning’s research and development under this grant was a system for program slicing, an advanced dataflow analysis capability that allowed Reasoning to track how variables are computed and used in a program. This was done exclusively by analyzing source code, and without the need for runtime testing.

R&D in the Lab to “Software as a Service” •  Reasoning program slicing technology was first applied to solving the Y2K date problem in C, COBOL, PL/I, Ada, Natural, and other languages. In 1996 a global services business was launched and grew to serve many of the Fortune 500 over the following 4 years.

The Path to Code Quality •  In April 2000, Reasoning introduced a comprehensive Reliability Inspection Service which pinpoints a range of crash-causing defects in Java, C, and C++ source code. By establishing the first database of commercial software inspection results, Reasoning began to deliver metrics measuring quality trends for software developers worldwide.

Application Security from the Inside Out •  In February 2004, Reasoning introduced an innovative Security Inspection Service. Root-cause identification of application-level security vulnerabilities exposes risks and provides the roadmap for remediation.

Measure, then Manage •  In 2006 the breakthrough offering of Discovery Mapping Analytics began providing software quality analytics, risk management metrics and dashboard information to software executives and managers.