A Complete Bounded Model Checking Algorithm for Pushdown Systems

A Complete Bounded Model Checking Algorithm for Pushdown Systems

Opis bibliograficzny
Główni autorzy:	Basler, G, Kroening, D, Weissenbacher, G
Format:	Conference item
Wydane:	Springer 2007

Podobne zapisy

Proving safety with trace automata and bounded model checking
od: Kroening, D, i wsp.
Wydane: (2015)

Completeness and Complexity of Bounded Model Checking
od: Clarke, E, i wsp.
Wydane: (2004)

Linear Completeness Thresholds for Bounded Model Checking.
od: Kroening, D, i wsp.
Wydane: (2011)

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

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

The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems
od: Hague, M, i wsp.
Wydane: (2010)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
od: Brázdil, T, i wsp.
Wydane: (2009)

On the Magnitude of Completeness Thresholds in Bounded Model Checking
od: Bundala, D, i wsp.
Wydane: (2012)

Computing Over−Approximations with Bounded Model Checking
od: Kroening, D
Wydane: (2006)

Computing over-approximations with bounded model checking
od: Kroening, D
Wydane: (2006)

Model Checking Concurrent Linux Device Drivers
od: Witkowski, T, i wsp.
Wydane: (2007)

Model checking concurrent linux device drivers
od: Witkowski, T, i wsp.
Wydane: (2007)

Computational challenges in bounded model checking
od: Clarke, E, i wsp.
Wydane: (2005)

Computational challenges in bounded model checking.
od: Clarke, E, i wsp.
Wydane: (2005)

Computational Challenges in Bounded Model Checking
od: Clarke, E, i wsp.
Wydane: (2015)

SAT−based Summarisation for Boolean Programs
od: Basler, G, i wsp.
Wydane: (2007)

Incremental bounded model checking for embedded software
od: Schrammel, P, i wsp.
Wydane: (2017)

Towards automated bounded model checking of API implementations
od: Neville, D, i wsp.
Wydane: (2016)

BOOM: Taking Boolean program model checking one step further
od: Basler, G, i wsp.
Wydane: (2010)

Property-driven fence insertion using reorder bounded model checking
od: Joshi, S, i wsp.
Wydane: (2015)

Property-Driven Fence Insertion using Reorder Bounded Model Checking
od: Joshi, S, i wsp.
Wydane: (2015)

Partial orders for efficient bounded model checking of concurrent software
od: Alglave, J, i wsp.
Wydane: (2013)

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
od: Kroening, D, i wsp.
Wydane: (2003)

JBMC: a bounded model checking tool for verifying Java bytecode
od: Cordeiro, L, i wsp.
Wydane: (2018)

Reachability in pushdown register automata
od: Murawski, A, i wsp.
Wydane: (2017)

Parameterised Pushdown Systems with Non−Atomic Writes
od: Hague, M
Wydane: (2011)

Collapsible Pushdown Automata and Recursion Schemes
od: Murawski, C, i wsp.
Wydane: (2008)

Collapsible pushdown automata and recursion schemes
od: Hague, M, i wsp.
Wydane: (2017)

Collapsible pushdown automata and recursion schemes
od: Hague, M, i wsp.
Wydane: (2008)

Regularity Problems for Visibly Pushdown Languages
od: Barany, V, i wsp.
Wydane: (2006)

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
od: Kochems, J, i wsp.
Wydane: (2013)

Race analysis for systemC using model checking
od: Blanc, N, i wsp.
Wydane: (2010)

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

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

A Fragment of ML Decidable by Visibly Pushdown Automata
od: Hopkins, D, i wsp.
Wydane: (2011)

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
od: Hague, M, i wsp.
Wydane: (2007)

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
od: Hague, M, i wsp.
Wydane: (2008)

Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation)
od: Hague, M, i wsp.
Wydane: (2010)

Model Checking with Abstraction for Web Services
od: Sharygina, N, i wsp.
Wydane: (2007)

Winning Regions of Higher−Order Pushdown Games
od: Meyer, C, i wsp.
Wydane: (2008)