Assumption Generation for Asynchronous Systems by Abstraction Refinement.

Qiusong Yang Edmund M. Clarke Anvesh Komuravelli Mingshu 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