An abstraction-refinement framework for trigger querying

Keyphrases

• Abstraction Refinement 100%
• Language L 100%
• Automata 100%
• Query Checking 100%
• Suffix 50%
• Infinite State Space 50%
• Under-approximation 50%
• Prefix 50%
• System Understanding 50%
• Infinite Computation 50%
• Query Variants 50%
• LTL Formulas 50%
• System Exploration 50%
• Predicate Abstraction 50%

Computer Science

• Automaton 100%
• Approximation (Algorithm) 50%
• State Space 50%
• Theoretic Approach 50%
• Model Checking 50%