A Complete Bounded Model Checking Algorithm for Pushdown Systems

A Complete Bounded Model Checking Algorithm for Pushdown Systems

Bibliographic Details
Main Authors:	Basler, G, Kroening, D, Weissenbacher, G
Format:	Conference item
Published:	Springer 2007

Similar Items

Proving safety with trace automata and bounded model checking
by: Kroening, D, et al.
Published: (2015)

Completeness and Complexity of Bounded Model Checking
by: Clarke, E, et al.
Published: (2004)

Linear Completeness Thresholds for Bounded Model Checking.
by: Kroening, D, et al.
Published: (2011)

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)

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

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

On the Magnitude of Completeness Thresholds in Bounded Model Checking
by: Bundala, D, et al.
Published: (2012)

Computing Over−Approximations with Bounded Model Checking
by: Kroening, D
Published: (2006)

Computing over-approximations with bounded model checking
by: Kroening, D
Published: (2006)

Model Checking Concurrent Linux Device Drivers
by: Witkowski, T, et al.
Published: (2007)

Model checking concurrent linux device drivers
by: Witkowski, T, et al.
Published: (2007)

Computational challenges in bounded model checking
by: Clarke, E, et al.
Published: (2005)

Computational challenges in bounded model checking.
by: Clarke, E, et al.
Published: (2005)

Computational Challenges in Bounded Model Checking
by: Clarke, E, et al.
Published: (2015)

SAT−based Summarisation for Boolean Programs
by: Basler, G, et al.
Published: (2007)

Incremental bounded model checking for embedded software
by: Schrammel, P, et al.
Published: (2017)

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

Towards automated bounded model checking of API implementations
by: Neville, D, et al.
Published: (2016)

Property-driven fence insertion using reorder bounded model checking
by: Joshi, S, et al.
Published: (2015)

Property-Driven Fence Insertion using Reorder Bounded Model Checking
by: Joshi, S, et al.
Published: (2015)

Partial orders for efficient bounded model checking of concurrent software
by: Alglave, J, et al.
Published: (2013)

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
by: Kroening, D, et al.
Published: (2003)

JBMC: a bounded model checking tool for verifying Java bytecode
by: Cordeiro, L, et al.
Published: (2018)

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

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

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)

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)

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

Towards a Completeness Result for Model Checking of Security Protocols
by: Lowe, G
Published: (1998)

Towards a Completeness Result for Model Checking of Security Protocols
by: Lowe, G
Published: (1999)

Race analysis for systemC using model checking
by: Blanc, N, et al.
Published: (2010)

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

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)

Model Checking with Abstraction for Web Services
by: Sharygina, N, et al.
Published: (2007)

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