Reachability Analysis of Pushdown Systems with an Upper Stack.

Adrien Pommellet Marcio Diaz Tayssir Touili

Published in: CoRR (2018)

Keyphrases

reachability analysis
distributed systems
model checking
computer systems
building blocks
learning algorithm
management system
complex systems