Revisiting Underapproximate Reachability for Multipushdown Systems.

S. Akshay Paul Gastin Shankara Narayanan Krishna Sparsa Roychowdhury

Published in: TACAS (1) (2020)

Keyphrases

management system
learning systems
computing systems
database
real time
machine learning
metadata
database systems
search space
state space
computer systems
knowledge based systems
building blocks
systems require