Controllers for the Verification of Communicating Multi-pushdown Systems.
C. AiswaryaPaul GastinK. Narayan KumarPublished in: CONCUR (2014)
Keyphrases
- formal methods
- model checking
- controller design
- computing systems
- complex systems
- management system
- distributed systems
- knowledge based systems
- peer to peer
- automated verification
- asynchronous circuits
- intelligent systems
- databases
- bayesian networks
- case study
- multimedia
- knowledge base
- information systems
- information retrieval
- real world