Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/1740
Назив: | Formalization and Verification of the PSTM Architecture | Аутори: | Liu A. Popović, Miroslav Zhu H. |
Датум издавања: | 1-мар-2018 | Часопис: | Proceedings - Asia-Pacific Software Engineering Conference, APSEC | Сажетак: | © 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 |
Налази се у колекцијама: | FTN Publikacije/Publications |
Приказати целокупан запис ставки
SCOPUSTM
Навођења
9
проверено 20.11.2023.
Преглед/и станица
19
Протекла недеља
15
15
Протекли месец
0
0
проверено 03.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.