C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
AVR: Abstractly Verifying Reachability.
Aman Goel
Karem A. Sakallah
Published in:
TACAS (1) (2020)
Keyphrases
</>
state space
model checking
transitive closure
databases
nearest neighbor
multi dimensional
knowledge based systems
temporal logic