Verification is the science involved with the development of methods to analyze and determine whether a given implementation of a system conforms with its specification. With the exponential growth in system complexity, verification has become a true bottleneck in the development of software and hardware systems. In fact, over 50% of the resources invested in developing systems are reportedly spent on verification.
In our research, we work on developing techniques, algorithms and tools that will sustain and expand IBM's positioning in all areas of verification, including Formal Hardware Verification (algorithmic and deductive methods), Simulation based Methods (e.g. test generation and coverage analysis) and Software Verification.
In our work, we will pursue the publication of papers in verification conferences, establish relationships with universities and professors, and in general take a key role in the verification research community.