Explaining abstract counterexamples

Keyphrases

• Predicate Abstraction 100%
• Abstract Explanations 100%
• Programmer 50%
• Reduction Method 50%
• State Space 50%
• Distance Metric 50%
• Model Checker 50%
• Model Checking Tools 50%
• Abstract State Space 50%
• Undesirable Behavior 50%
• Good Enough 50%
• State-space Reduction 50%
• High-Level Description 50%

Computer Science

• Model Checking 100%
• State Space 100%
• model checker 50%
• Distance Metric 50%
• Abstract State Space 50%
• Good Abstraction 50%
• Derived Predicate 50%
• Variable Value 50%
• Level Description 50%