Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/1740
Nаziv: | Formalization and Verification of the PSTM Architecture | Аutоri: | Liu A. Popović, Miroslav Zhu H. |
Dаtum izdаvаnjа: | 1-мар-2018 | Čаsоpis: | Proceedings - Asia-Pacific Software Engineering Conference, APSEC | Sažetak: | © 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 |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
SCOPUSTM
Nаvоđеnjа
9
prоvеrеnо 20.11.2023.
Prеglеd/i stаnicа
19
Prоtеklа nеdеljа
15
15
Prоtеkli mеsеc
0
0
prоvеrеnо 03.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.