Conference item icon

Conference item

The automatic detection of token structures and invariants using SAT checking

Abstract:

Many distributed systems rely on token structures for their correct operation. Often, these structures make sure that a fixed number of tokens exists at all times, or perhaps that tokens cannot be completely eliminated, to prevent systems from reaching undesired states. In this paper we show how a SAT checker can be used to automatically detect token and similar invariants in distributed systems, and how these invariants can improve the precision of a deadlock-checking framework that is based...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-662-54580-5_15

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Oxford college:
University College
Role:
Author
More from this funder
Funding agency for:
Gibson-Robinson, T
Grant:
EP/N022777
More from this funder
Funding agency for:
Antonino, P
More from this funder
Funding agency for:
Gibson-Robinson, T
Grant:
EP/N022777
More from this funder
Funding agency for:
Roscoe, A
Grant:
EP/N022777
Publisher:
Springer, Berlin, Heidelberg Publisher's website
Volume:
10206
Pages:
249-265
Series:
Lecture Notes in Computer Science
Host title:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems
Publication date:
2017-01-01
Acceptance date:
2016-12-22
DOI:
ISSN:
0302-9743
Source identifiers:
673143
ISBN:
9783662545799
Pubs id:
pubs:673143
UUID:
uuid:3a1db064-937f-40ea-9fb2-749c47bd593f
Local pid:
pubs:673143
Deposit date:
2017-01-26

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP