Partial orders for efficient bounded model checking of concurrent software

Partial orders for efficient bounded model checking of concurrent software

The number of interleavings of a concurrent program makes automatic analysis of such software very hard. Modern multiprocessors’ execution models make this problem even harder. Modelling program executions with partial orders rather than interleavings addresses both issues: we obtain an efficient en...

書目詳細資料
Main Authors:	Alglave, J, Kroening, D, Tautschnig, M
其他作者:	Sharygina, N
格式:	Conference item
出版:	Springer 2013

相似書籍

Making Software Verification Tools Really Work
由: Alglave, J, et al.
出版: (2011)

Software Verification for Weak Memory via Program Transformation
由: Alglave, J, et al.
出版: (2013)

Software verification for weak memory via program transformation
由: Alglave, J, et al.
出版: (2013)

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

Incremental bounded model checking for embedded software
由: Schrammel, P, et al.
出版: (2017)

CBMC – C bounded model checker
由: Kroening, D, et al.
出版: (2014)

Computing Over−Approximations with Bounded Model Checking
由: Kroening, D
出版: (2006)

Computing over-approximations with bounded model checking
由: Kroening, D
出版: (2006)

Computational challenges in bounded model checking
由: Clarke, E, et al.
出版: (2005)

Completeness and Complexity of Bounded Model Checking
由: Clarke, E, et al.
出版: (2004)

Computational challenges in bounded model checking.
由: Clarke, E, et al.
出版: (2005)

Computational Challenges in Bounded Model Checking
由: Clarke, E, et al.
出版: (2015)

Model Checking Concurrent Linux Device Drivers
由: Witkowski, T, et al.
出版: (2007)

Model checking concurrent linux device drivers
由: Witkowski, T, et al.
出版: (2007)

Soundness of Data Flow Analyses for Weak Memory Models
由: Alglave, J, et al.
出版: (2011)

Soundness of data flow analyses for weak memory models
由: Alglave, J, et al.
出版: (2011)

Soundness of Data Flow Analyses for Weak Memory Models
由: Alglave, J, et al.
出版: (2011)

Linear Completeness Thresholds for Bounded Model Checking.
由: Kroening, D, et al.
出版: (2011)

Proving safety with trace automata and bounded model checking
由: Kroening, D, et al.
出版: (2015)

Towards automated bounded model checking of API implementations
由: Neville, D, et al.
出版: (2016)

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

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

A Complete Bounded Model Checking Algorithm for Pushdown Systems
由: Basler, G, et al.
出版: (2007)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
由: Horn, A, et al.
出版: (2015)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
由: Horn, A, et al.
出版: (2015)

Model checking boot code from AWS data centers
由: Cook, B, et al.
出版: (2018)

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

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

Numeric bounds analysis with conflict-driven learning
由: D'Silva, V, et al.
出版: (2012)

Model-checking games for fixpoint logics with partial order models
由: Gutierrez, J, et al.
出版: (2010)

Model-checking games for fixpoint logics with partial order models
由: Gutierrez, J, et al.
出版: (2009)

Model-checking games for fixpoint logics with partial order models
由: Gutierrez, J, et al.
出版: (2011)

Concurrent logic games on partial orders
由: Gutierrez, J
出版: (2011)

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking
由: Wenjie Zhong, et al.
出版: (2023-02-01)

Effective verification for low-level software with competing interrupts
由: Liang, L, et al.
出版: (2017)

The parameterized space complexity of model-checking bounded variable first-order logic
由: Yijia Chen, et al.
出版: (2019-09-01)

Model Checking with Abstraction for Web Services
由: Sharygina, N, et al.
出版: (2007)

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

Coverage in interpolation-based model checking
由: Chockler, H, et al.
出版: (2010)

Checking Concurrent Contracts with Aspects
由: Kerfoot, E, et al.
出版: (2010)