Revisiting Underapproximate Reachability for Multipushdown Systems

af Akshay, S., Gastin, Paul, Krishna, S, Roychowdhury, Sparsa
Udgivet i Tools and Algorithms for the Construction and Analysis of Systems (2020)