Overview
The primary mission of the Formal Verification Technologies group is to develop and support RuleBase Parallel Edition, the second generation IBM model checker. This model checker exploits parallel processing and multiple-engine state-space search. RuleBase Parallel Edition (PE) is the successor of RuleBase, the earlier formal verification tool from IBM. In addition, this group is developing FoCs, an assertion-based verification tool for simulation. RuleBase PE and FoCs are used acrsoss IBM and by customers worldwide and provide native support for PSL.
Activities
Senior Manager
Sharon Keidar-Barner,
