JumpSAT Based System Verification Scenarios

摘要

The paper presents a methodology of formal verification based on SAT solving technique. The author briefly recalls the JumpSAT algorithm. Then various aspects of the formal verification are presented and different approaches to the system level formal verification based on the JumpSAT algorithm are discussed on examples. Conclusions concerning the presented approach are given.