Reducing concurrent analysis under a context bound to sequential analysis
type: Item
instance of: scholarly article
title: Reducing concurrent analysis under a context bound to sequential analysis
zbMATH Open document ID: 1186.68298
author: Akash Lal
author: Thomas Reps
published in: Formal Methods in System Design
publication date: 2009-11-23T00:00:00Z
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5637103
zbMATH Keywords: verification
zbMATH Keywords: concurrency
zbMATH Keywords: context-bounding
describes a project that uses: jMoped
describes a project that uses: Bebop
describes a project that uses: BEEM
describes a project that uses: MAGIC
describes a project that uses: DDVerify
describes a project that uses: SPIN
describes a project that uses: Moped
MaRDI profile type: Publication
OpenAlex ID: W2087046173
cites work: Q2753756
cites work: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Lazy abstraction
cites work: Abstract Error Projection
cites work: Interprocedural Analysis of Concurrent Programs Under a Context Bound
cites work: Precise interprocedural analysis through linear algebra
cites work: Summarizing procedures in concurrent programs
cites work: Precise interprocedural dataflow analysis with applications to constant propagation
cites work: Weighted pushdown systems and their application to interprocedural dataflow analysis
DOI: 10.1007/S10703-009-0078-9
description: scientific article; zbMATH DE number 5637103