Login / Signup
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement.
Karam Abd Elkader
Orna Grumberg
Corina S. Pasareanu
Sharon Shoham
Published in:
CAV (1) (2016)
Keyphrases
</>
semi automated
knowledge base
knowledge representation
artificial intelligence
pattern matching
hough transform
reasoning process
model based reasoning
semi automatic
computer aided
fully automated
meta level
legal reasoning
analogical reasoning
microstrip antenna