Effective Analysis of C Programs by Rewriting Variability

Keyphrases

• Program Families 100%
• C Program 100%
• Efficient Analysis 100%
• Source Code Analysis 33%
• Model Checker 16%
• Nondeterminism 16%
• Imperative Languages 16%
• Family Members 16%
• Variability-Aware 16%
• Type Checker 16%
• Program Verification 16%
• Number of Features 16%
• Compile Time 16%
• Static Analyzer 16%
• Executor 16%
• C Verification 16%
• Runtime Variability 16%
• Verification Tool 16%
• Transformation Rules 16%
• Intensive Program 16%
• Frama-C 16%
• Program Design 16%
• Range of Variability 16%
• Time Variability 16%
• Clang 16%
• Common Codes 16%

Computer Science

• Single Program 100%
• C Program 100%
• Program Analysis 40%
• Application Area 20%
• model checker 20%
• Imperative Language 20%
• Program Verification 20%
• Configurable Option 20%
• Transformed Program 20%
• Intensive Program 20%
• Transformation Rule 20%
• Correctness 20%