Verifying Concurrent Programs Using Contracts
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F17%3APU126447" target="_blank" >RIV/00216305:26230/17:PU126447 - isvavai.cz</a>
Result on the web
<a href="http://www.fit.vutbr.cz/research/pubs/all.php?id=11510" target="_blank" >http://www.fit.vutbr.cz/research/pubs/all.php?id=11510</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ICST.2017.25" target="_blank" >10.1109/ICST.2017.25</a>
Alternative languages
Result language
angličtina
Original language name
Verifying Concurrent Programs Using Contracts
Original language description
The central notion of this paper is that of contracts for concurrency, allowing one to capture the expected atomicity of sequences of method or service calls in a concurrent program. The contracts may be either extracted automatically from the source code, or provided by developers of libraries or software modules to reflect their expected usage in a concurrent setting. We start by extending the so-far considered notion of contracts for concurrency in several ways, improving their expressiveness and enhancing their applicability in practice. Then, we propose two complementary analyses---a static and a dynamic one---to verify programs against the extended contracts. We have implemented both approaches and present promising experimental results from their application on various programs, including real-world ones where our approach unveiled previously unknown errors.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20206 - Computer hardware and architecture
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
ISBN
978-1-5090-6032-0
ISSN
—
e-ISSN
—
Number of pages
11
Pages from-to
196-206
Publisher name
Institute of Electrical and Electronics Engineers
Place of publication
Tokyo
Event location
Tokyo
Event date
Feb 13, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000403393600018