Efficient family-based model checking via variability abstractions

Keyphrases

• Variational Model 100%
• Variability Abstractions 100%
• Family-based Model Checking 100%
• Model Checker 28%
• Efficient Verification 28%
• Number of Features 28%
• Software System 14%
• Modeling Language 14%
• Single System 14%
• Prototyping Tools 14%
• Checking Algorithm 14%
• High-level Modeling 14%
• Variational 14%
• Galois Connection 14%
• Variability Modeling 14%
• Computational Cost 14%
• Single-system Models 14%
• Semantic Domains 14%
• Source-to-source Transformation 14%
• Multiple Variants 14%
• Family-centered 14%
• Model Check 14%
• Individual Systems 14%
• Single Run 14%
• Variational System 14%
• LTL Properties 14%

Computer Science

• Model Checking 100%
• model checker 33%
• Software Systems 16%
• modeling language 16%
• Syntactics 16%
• Case Study 16%
• Model Checking Algorithm 16%
• Variability Model 16%
• Computational Cost 16%
• Individual System 16%
• Semantic Domain 16%