Reachability Analysis of Communicating Pushdown Systems

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

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

reachability analysis
model checking
expert systems
learning systems
inference rules
knowledge representation
low cost
linear programming
steady state
communication channels