Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation)

Míreanna comhchosúla

• A Saturation Method for the Modal Mu−Calculus over Pushdown Systems
  de réir: Hague, M, et al.
  Foilsithe / Cruthaithe: (2010)
• A saturation method for the modal mu-calculus over pushdown systems
  de réir: Hague, M, et al.
  Foilsithe / Cruthaithe: (2011)
• Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
  de réir: Hague, M, et al.
  Foilsithe / Cruthaithe: (2007)
• Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
  de réir: Hague, M, et al.
  Foilsithe / Cruthaithe: (2008)
• Collapsible pushdown automata and recursion schemes
  de réir: Hague, M, et al.
  Foilsithe / Cruthaithe: (2017)