Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing.

Published in: VMCAI (2010)

Keyphrases

computer systems
real time
learning algorithm
management system
complex systems
databases
data mining
social networks
query language