Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Show other versions (1)

Bibliographic Details
Main Authors:	Hague, M, Ong, C
Format:	Journal article
Published:	2008

Similar Items

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
by: Hague, M, et al.
Published: (2007)

Unboundedness and downward closures of higher-order pushdown automata
by: Hague, M, et al.
Published: (2016)

The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems
by: Hague, M, et al.
Published: (2010)

Reachability in pushdown register automata
by: Murawski, A, et al.
Published: (2017)

Winning Regions of Higher−Order Pushdown Games
by: Meyer, C, et al.
Published: (2008)

Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation)
by: Hague, M, et al.
Published: (2010)

Parameterised Pushdown Systems with Non−Atomic Writes
by: Hague, M
Published: (2011)

A saturation method for the modal mu-calculus over pushdown systems
by: Hague, M, et al.
Published: (2011)

A Saturation Method for the Modal Mu−Calculus over Pushdown Systems
by: Hague, M, et al.
Published: (2010)

Collapsible pushdown automata and recursion schemes
by: Hague, M, et al.
Published: (2017)

Saturation Methods for Global Model−Checking Pushdown Systems
by: Hague, M
Published: (2009)

Saturation methods for global model-checking pushdown systems
by: Hague, M
Published: (2009)

Winning Regions of Pushdown Parity Games: A Saturation Method
by: Hague, M, et al.
Published: (2009)

Winning Regions of Pushdown Parity Games: A Saturation Method
by: Hague, M, et al.
Published: (2009)

Collapsible pushdown automata and recursion schemes
by: Hague, M, et al.
Published: (2008)

Underapproximating backward reachable sets by semialgebraic sets
by: Xue, Bai, et al.
Published: (2018)

BReach-LP: a Framework for Backward Reachability Analysis of Neural Feedback Loops
by: Rober, Nicholas
Published: (2024)

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
by: Kochems, J, et al.
Published: (2013)

Hazard elimination using backwards reachability techniques in discrete and hybrid models
by: Neogi, Natasha A. (Natasha Anita), 1976-
Published: (2005)

Asymptotic orders of reachability in linear dynamic systems
by: Özveren, Cüneyt M
Published: (2005)

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
by: Lin, Liyong, et al.
Published: (2020)

Asymptotic orders of reachability in perturbed linear systems
Published: (2003)

Asymptotic orders of reachability in perturbed linear systems
Published: (2003)

Implementing a hazard elimination analysis tool for SpecTRM-RL using backwards reachability
by: Lu, Kenneth K. (Kenneth Ke Wei), 1978-
Published: (2014)

Solution of higher order ODEs using backward difference method.
by: Suleiman, Mohamed, et al.
Published: (2011)

Solution of higher order odes using backwards difference method
by: Sulaiman, Mohamed, et al.
Published: (2009)

Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter
by: Song, Yang, et al.
Published: (2013)

Functional Reachability
by: Ong, C, et al.
Published: (2009)

A Fragment of ML Decidable by Visibly Pushdown Automata
by: Hopkins, D, et al.
Published: (2011)

Collapsible Pushdown Automata and Recursion Schemes
by: Murawski, C, et al.
Published: (2008)

Regularity Problems for Visibly Pushdown Languages
by: Barany, V, et al.
Published: (2006)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
by: Jovanovic, A, et al.
Published: (2017)

On collapsible pushdown automata, their graphs and the power of links
by: Broadbent, C, et al.
Published: (2011)

Reachability Analysis for Annotated Code
by: Janota, M, et al.
Published: (2007)

A Complete Bounded Model Checking Algorithm for Pushdown Systems
by: Basler, G, et al.
Published: (2007)

ML, visibly pushdown class memory automata, and extended branching vector addition systems with states
by: Cotton-Barratt, C, et al.
Published: (2019)

Solving directly higher order ordinary differential equations by using variable order block backward differentiation formulae
by: Asnor, Asma Izzati, et al.
Published: (2019)

Two-point block backward differentiation formula for solving higher order ordinary differential equations
by: Zainuddin, Nooraini
Published: (2011)

Game characterization of probabilistic bisimilarity, and applications to pushdown automata
by: Forejt, V, et al.
Published: (2018)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
by: Brázdil, T, et al.
Published: (2009)