Computational Challenges in Bounded Model Checking

Computational Challenges in Bounded Model Checking

Visa andra versioner (2)

Bibliografiska uppgifter
Huvudupphovsmän:	Clarke, E, Kroening, D, Ouaknine, J, Strichman, O
Materialtyp:	Journal article
Publicerad:	2015

Liknande verk

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

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

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

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

Computing Over−Approximations with Bounded Model Checking
av: Kroening, D
Publicerad: (2006)

Computing over-approximations with bounded model checking
av: Kroening, D
Publicerad: (2006)

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

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

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

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

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

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

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

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

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

Efficient Computation of Recurrence Diameters
av: Kroening, D, et al.
Publicerad: (2003)

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

Abstraction−based Satisfiability Solving of Presburger Arithmetic
av: Kroening, D, et al.
Publicerad: (2004)

Static Analysis to Enhance the Power of Model Checking for Concurrent Software
av: Clarke, E, et al.
Publicerad: (2007)

Parallel assignments in software model checking
av: Ouaknine, J
Publicerad: (2006)

Computing mutation coverage in interpolation-based model checking
av: Chockler, H, et al.
Publicerad: (2012)

Checking consistency of C and Verilog using predicate abstraction and induction
av: Kroening, D, et al.
Publicerad: (2004)

Checking Consistency of C and Verilog using Predicate Abstraction and Induction
av: Kroening, D, et al.
Publicerad: (2004)

A Tool for Checking ANSI−C Programs
av: Clarke, E, et al.
Publicerad: (2004)

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

Model checking Timed CSP
av: Armstrong, P, et al.
Publicerad: (2012)

Coverage in interpolation-based model checking
av: Chockler, H, et al.
Publicerad: (2010)

Decision Procedures – an Algorithmic Point of View
av: Kroening, D, et al.
Publicerad: (2008)

A framework for Satisfiability Modulo Theories.
av: Kroening, D, et al.
Publicerad: (2009)

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

Deciding Bit−Vector Arithmetic with Abstraction
av: Bryant, R, et al.
Publicerad: (2007)

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

Algebraic model checking for discrete linear dynamical systems
av: Luca, F, et al.
Publicerad: (2022)

On expressiveness and complexity in real-time model checking
av: Bouyer, P, et al.
Publicerad: (2008)

Symbolic model checking for asynchronous Boolean programs
av: Cook, B, et al.
Publicerad: (2005)

Approximation Refinement for Interpolation−Based Model Checking
av: D'Silva, V, et al.
Publicerad: (2008)

Approximation Refinement for Interpolation−Based Model Checking
av: D'Silva, V, et al.
Publicerad: (2008)

Model Checking Succinct and Parametric One-Counter Automata.
av: Göller, S, et al.
Publicerad: (2010)

Model Checking Succinct and Parametric One−Counter Automata
av: Göller, S, et al.
Publicerad: (2010)

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