Flexible Interpolation for Efficient Model Checking

MEMICS, pp. 11-22, 2015.

Cited by: 1|Bibtex|Views4|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments