Sign in

Assumption Generation for Asynchronous Systems by Abstraction Refinement.

Qiusong YangEdmund M. ClarkeAnvesh KomuravelliMingshu Li
Published in: FACS (2012)
Keyphrases
  • data sets
  • expert systems
  • intelligent systems
  • building blocks
  • computing systems
  • data mining
  • information retrieval
  • artificial intelligence
  • knowledge base
  • website
  • low level
  • distributed systems