2014
DOI: 10.7561/sacs.2014.2.217
|View full text |Cite
|
Sign up to set email alerts
|

Rely-Guarantee Based Reasoning for Message-Passing Programs

Abstract: The difficulties of verifying concurrent programs lie in their inherent non-determinism and interferences. Rely-Guarantee reasoning is one useful approach to solve this problem for its capability in formally specifying inter-thread interferences. However, modern verification requires better locality and modularity. It is still a great challenge to verify a message-passing program in a modular and composable way.In this paper, we propose a new reasoning system for messagepassing programs. It is a novel logic th… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 18 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?