Verifying Communicating Multi-pushdown Systems via Split-Width.

C. Aiswarya Paul Gastin K. Narayan Kumar

Published in: ATVA (2014)

Keyphrases

distributed systems
complex systems
model checking
information systems
knowledge base
wide range
intelligent systems
knowledge based systems
learning systems
neural network
case study
expert systems
computer systems
retrieval systems
information sharing
computing systems