Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks

類似資料

• Verification of asynchronous concurrency and the shaped stack constraint
  著者:: Kochems, J
  出版事項: (2014)
• Unboundedness and downward closures of higher-order pushdown automata
  著者:: Hague, M, 等
  出版事項: (2016)
• Verification of Opacity and Diagnosability for Pushdown Systems
  著者:: Koichi Kobayashi, 等
  出版事項: (2013-01-01)
• On the Expressive Power of 2-Stack Visibly Pushdown Automata
  著者:: Benedikt Bollig
  出版事項: (2008-12-01)
• Collapsible pushdown automata and recursion schemes
  著者:: Hague, M, 等
  出版事項: (2017)