Symbolic Model Checking using Intervals of Vectors

Damien Morard, Lucas Donati, Didier Buchs

Model checking is a powerful technique for software verification. However, the approach notably suffers from the infamous state space explosion problem. To tackle this, in this pap…