Family-Based Model Checking Without a Family-Based Model Checker

Keyphrases

• Model Checker 100%
• Variational Model 100%
• Family-centered 100%
• Family-based Model Checking 100%
• Efficient Verification 40%
• Embedded Systems 20%
• Software System 20%
• Communication Protocol 20%
• Single System 20%
• Checking Algorithm 20%
• Brute Force 20%
• Variational 20%
• Galois Connection 20%
• Verification Method 20%
• Area Model 20%
• Single-system Models 20%
• Semantic Domains 20%
• Source-to-source Transformation 20%
• Discrete Controller 20%
• Variability Abstractions 20%
• Multiple Variants 20%
• Model Check 20%
• Individual Systems 20%

Computer Science

• model checker 100%
• Model Checking 100%
• Embedded Systems 33%
• Software Systems 33%
• Communication Protocol 33%
• Syntactics 33%
• Model Checking Algorithm 33%
• Individual System 33%
• Semantic Domain 33%