Saturation Methods for Global Model−Checking Pushdown Systems

Saturation Methods for Global Model−Checking Pushdown Systems

Show other versions (1)

Bibliographic Details
Main Author:	Hague, M
Format:	Thesis
Published:	2009

Similar Items

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

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

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)

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)

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

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

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

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

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

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

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

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

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

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

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

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)

Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
by: Hague, M
Published: (2006)

Model Checking Recursive Programs with Numeric Data Types
by: Hague, M, et al.
Published: (2011)

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

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

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

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

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

BOOM: Taking Boolean program model checking one step further
by: Basler, G, et al.
Published: (2010)

The global rise of criminal background checks
by: Rovira, M
Published: (2023)

Determining the Optimal Amount of Computation Pushdown to Minimize Runtime for a Cloud Database
by: Woicik, Matthew
Published: (2022)

Model checking /
by: Clarke, E. M., 1945-, et al.
Published: (1999)

Model checking in isomorphic module systems
by: Wang, Weilin, et al.
Published: (2020)

Rational verification: from model checking to equilibrium checking
by: Wooldridge, M, et al.
Published: (2016)

Enhanced pushdown automaton based static analysis for detection of SQL injection Hotspots in web application
by: Umar, Kabir, et al.
Published: (2016)

On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
by: Broadbent, C, et al.
Published: (2009)

Vehicle Check-In & Check-Out Management System (VCCMS)
by: Nuramira Natasha, Zainuddin
Published: (2023)

Approximate Model Checking of Stochastic Hybrid Systems
by: Abate, A, et al.
Published: (2010)

Approximate Model Checking of Stochastic Hybrid Systems
by: Abate, A, et al.
Published: (2010)

Model−checking CSP
by: A. W. Roscoe
Published: (1994)

Smart checking system /
by: 402429 Ngoh, Chin Fun, et al.
Published: (2007)

Model checking data-independent systems with arrays
by: Newcomb, T, et al.
Published: (2003)