Reachability Analysis of Communicating Pushdown Systems.

Alexander Heußner Jérôme Leroux Anca Muscholl Grégoire Sutre

Published in: FoSSaCS (2010)

Keyphrases

reachability analysis
distributed systems
intelligent systems
computer systems
management system
learning systems
model checking
linear programming
building blocks
retrieval systems