Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/1740
Title: | Formalization and Verification of the PSTM Architecture | Authors: | Liu A. Popović, Miroslav Zhu H. |
Issue Date: | 1-Mar-2018 | Journal: | Proceedings - Asia-Pacific Software Engineering Conference, APSEC | Abstract: | © 2017 IEEE. Python Software Transactional Memory (PSTM), was proposed to break the limiting factors which restrict diffusion of the TM paradigm into more application fields. Since the widespread use of the PSTM, it is of great significance to formally analyze and verify relevant transactional properties of this architecture. In this paper, we apply Communicating Sequential Processes (CSP) to model the PSTM. Moreover, we use the model checker Process Analysis Toolkit (PAT) to automatically simulate the developed model, and verify whether the model caters for some relevant properties, e.g. ACID. Our modeling and verification show that the PSTM can guarantee some transactional properties. | URI: | https://open.uns.ac.rs/handle/123456789/1740 | ISBN: | 9781538636817 | ISSN: | 15301362 | DOI: | 10.1109/APSEC.2017.49 |
Appears in Collections: | FTN Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
9
checked on Nov 20, 2023
Page view(s)
19
Last Week
15
15
Last month
0
0
checked on May 3, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.