Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
47
views
3
references
Top references
cited by
15
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,406
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Reachability Analysis of Multithreaded Software with Asynchronous Communication
other
Author(s):
Ahmed Bouajjani
,
Javier Esparza
,
Stefan Schwoon
,
Jan Strejček
Publication date
(Print):
2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Software for SAXS correction and analysis
Most cited references
3
Record
: found
Abstract
: not found
Article
: not found
Context-sensitive synchronization-sensitive analysis is undecidable
G Ramalingam
(2000)
0
comments
Cited
25
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
Ahmed Bouajjani
,
Markus Müller-Olm
,
Tayssir Touili
(2005)
0
comments
Cited
15
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
A generic approach to the static analysis of concurrent programs with procedures
Ahmed Bouajjani
,
Javier Esparza
,
Tayssir Touili
(2003)
0
comments
Cited
10
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 348-359
DOI:
10.1007/11590156_28
SO-VID:
ec3e531a-0ff9-424d-ac19-d7cf3a9a0a18
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Semiperfect-Information Games
pp. 92
Proving Lower Bounds Via Pseudo-random Generators
pp. 348
Reachability Analysis of Multithreaded Software with Asynchronous Communication
pp. 432
On the Expressiveness of TPTL and MTL
pp. 505
Market Equilibrium for CES Exchange Economies: Existence, Multiplicity, and Computation
pp. 529
Proofs of Termination of Rewrite Systems for Polytime Functions
Similar content
4,406
Qualitative Reachability for Open Interval Markov Chains
Authors:
Jeremy Sproston
Asynchronous video interviews vs. face-to-face interviews for communication skill measurement: a systematic study
Authors:
Sowmya Rasipuram
,
Pooja Rao S. B.
,
Dinesh Jayagopi
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation
Authors:
Shuying Liang
,
Andrew W. Keep
,
Matthew Might
…
See all similar
Cited by
13
Interprocedural Analysis of Concurrent Programs Under a Context Bound
Authors:
Akash Lal
,
Tayssir Touili
,
Nicholas Kidd
…
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Authors:
Koushik Sen
,
Mahesh Viswanathan
Symbolic Context-Bounded Analysis of Multithreaded Java Programs
Authors:
Dejvuth Suwimonteerabuth
,
Javier Esparza
,
Stefan Schwoon
See all cited by