Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version)

Aleksandar S. Dimovski

In this work, we show how the use of verification and analysis techniques for model families (software product lines) with numerical features provides an interesting technique to s…