Heuristic Reduction of Parallelism in Component Environment


Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single component typically comprises a smaller state space than the whole system. We present a technique that addresses the problem of state explosion in code checking of primitive components… (More)

3 Figures and Tables


  • Presentations referencing similar topics