Flexible Interpolation for Efficient Model Checking
MEMICS, pp. 11-22, 2015.
Symbolic model checking is one of the most successful techniques for formal verification of software and hardware systems. Many model checking algorithms rely on over-approximating the reachable state space of the system. This task is critical since it not only greatly affects the efficiency of the verification but also whether the model-...More
Full Text (Upload PDF)
PPT (Upload PPT)