Computational Challenges in Bounded Model Checking

Computational Challenges in Bounded Model Checking

Бусад хувилбаруудыг харуулах (2)

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Clarke, E, Kroening, D, Ouaknine, J, Strichman, O
Формат:	Journal article
Хэвлэсэн:	2015

Ижил төстэй зүйлс

Computational challenges in bounded model checking
-н: Clarke, E, зэрэг
Хэвлэсэн: (2005)

Computational challenges in bounded model checking.
-н: Clarke, E, зэрэг
Хэвлэсэн: (2005)

Completeness and Complexity of Bounded Model Checking
-н: Clarke, E, зэрэг
Хэвлэсэн: (2004)

Linear Completeness Thresholds for Bounded Model Checking.
-н: Kroening, D, зэрэг
Хэвлэсэн: (2011)

Computing Over−Approximations with Bounded Model Checking
-н: Kroening, D
Хэвлэсэн: (2006)

Computing over-approximations with bounded model checking
-н: Kroening, D
Хэвлэсэн: (2006)

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
-н: Kroening, D, зэрэг
Хэвлэсэн: (2003)

On the Magnitude of Completeness Thresholds in Bounded Model Checking
-н: Bundala, D, зэрэг
Хэвлэсэн: (2012)

Proving safety with trace automata and bounded model checking
-н: Kroening, D, зэрэг
Хэвлэсэн: (2015)

Incremental bounded model checking for embedded software
-н: Schrammel, P, зэрэг
Хэвлэсэн: (2017)

Towards automated bounded model checking of API implementations
-н: Neville, D, зэрэг
Хэвлэсэн: (2016)

Partial orders for efficient bounded model checking of concurrent software
-н: Alglave, J, зэрэг
Хэвлэсэн: (2013)

Property-driven fence insertion using reorder bounded model checking
-н: Joshi, S, зэрэг
Хэвлэсэн: (2015)

Property-Driven Fence Insertion using Reorder Bounded Model Checking
-н: Joshi, S, зэрэг
Хэвлэсэн: (2015)

A Complete Bounded Model Checking Algorithm for Pushdown Systems
-н: Basler, G, зэрэг
Хэвлэсэн: (2007)

Efficient Computation of Recurrence Diameters
-н: Kroening, D, зэрэг
Хэвлэсэн: (2003)

JBMC: a bounded model checking tool for verifying Java bytecode
-н: Cordeiro, L, зэрэг
Хэвлэсэн: (2018)

Abstraction−based Satisfiability Solving of Presburger Arithmetic
-н: Kroening, D, зэрэг
Хэвлэсэн: (2004)

Computing mutation coverage in interpolation-based model checking
-н: Chockler, H, зэрэг
Хэвлэсэн: (2012)

Static Analysis to Enhance the Power of Model Checking for Concurrent Software
-н: Clarke, E, зэрэг
Хэвлэсэн: (2007)

Parallel assignments in software model checking
-н: Ouaknine, J
Хэвлэсэн: (2006)

Checking consistency of C and Verilog using predicate abstraction and induction
-н: Kroening, D, зэрэг
Хэвлэсэн: (2004)

Checking Consistency of C and Verilog using Predicate Abstraction and Induction
-н: Kroening, D, зэрэг
Хэвлэсэн: (2004)

A Tool for Checking ANSI−C Programs
-н: Clarke, E, зэрэг
Хэвлэсэн: (2004)

Model Checking with Abstraction for Web Services
-н: Sharygina, N, зэрэг
Хэвлэсэн: (2007)

Model checking Timed CSP
-н: Armstrong, P, зэрэг
Хэвлэсэн: (2012)

Coverage in interpolation-based model checking
-н: Chockler, H, зэрэг
Хэвлэсэн: (2010)

Decision Procedures – an Algorithmic Point of View
-н: Kroening, D, зэрэг
Хэвлэсэн: (2008)

A framework for Satisfiability Modulo Theories.
-н: Kroening, D, зэрэг
Хэвлэсэн: (2009)

Deciding Bit−Vector Arithmetic with Abstraction
-н: Bryant, R, зэрэг
Хэвлэсэн: (2007)

Model checking /
-н: Clarke, E. M., 1945-, зэрэг
Хэвлэсэн: (1999)

Race analysis for systemC using model checking
-н: Blanc, N, зэрэг
Хэвлэсэн: (2010)

On expressiveness and complexity in real-time model checking
-н: Bouyer, P, зэрэг
Хэвлэсэн: (2008)

Algebraic model checking for discrete linear dynamical systems
-н: Luca, F, зэрэг
Хэвлэсэн: (2022)

Symbolic model checking for asynchronous Boolean programs
-н: Cook, B, зэрэг
Хэвлэсэн: (2005)

Approximation Refinement for Interpolation−Based Model Checking
-н: D'Silva, V, зэрэг
Хэвлэсэн: (2008)

Approximation Refinement for Interpolation−Based Model Checking
-н: D'Silva, V, зэрэг
Хэвлэсэн: (2008)

Satisfiability checking meets symbolic computation
-н: Abraham, E, зэрэг
Хэвлэсэн: (2016)

Model Checking Succinct and Parametric One-Counter Automata.
-н: Göller, S, зэрэг
Хэвлэсэн: (2010)

Model Checking Succinct and Parametric One−Counter Automata
-н: Göller, S, зэрэг
Хэвлэсэн: (2010)