References & Citations
Computer Science > Logic in Computer Science
Title: Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version)
(Submitted on 21 Dec 2021)
Abstract: 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 synthesize complete models from sketches (i.e.\ partial models with holes). In particular, we present an approach for synthesizing Promela model sketches using variability-specific abstraction refinement for lifted (family-based) model checking.
Submission history
From: Aleksandar S. Dimovski [view email][v1] Tue, 21 Dec 2021 22:19:36 GMT (98kb)
Link back to: arXiv, form interface, contact.