Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Home
Profiles
Research units
Research output
Prizes
Search by expertise, name or affiliation
An abstraction-refinement framework for trigger querying
Guy Avni
*
,
Orna Kupferman
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
3
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'An abstraction-refinement framework for trigger querying'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Abstraction Refinement
100%
Language L
100%
Query Checking
100%
Automata
50%
Prefix
50%
Infinite Computation
50%
LTL Formulas
50%
Infinite State Space
50%
Suffix
50%
System Understanding
50%
Query Variants
50%
System Exploration
50%
Computer Science
Automaton
100%
Approximation (Algorithm)
100%
State Space
100%
Theoretic Approach
100%