Detail publikace

An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures

ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt a REZINE Ahmed. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, roč. 5, č. 19, 2017, s. 549-563. ISSN 1433-2779. Dostupné z: https://link.springer.com/article/10.1007/s10009-016-0415-4
Název česky
Integrovaná verifikační a specifikační technika pro ověřování linearizability paralelních ukazatelových programů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Haziza Frédéric (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Jonsson Bengt (Uppsala)
Rezine Ahmed, Assoc. Prof. (LIU)
URL
Klíčová slova
Abstrakt

Prezentujeme techniku pro ověřování linearizability silně paralelních ukazatelových programů implementujících datové struktury jako zásobníky a fronty.

Rok
2017
Strany
549-563
Časopis
International Journal on Software Tools for Technology Transfer, roč. 5, č. 19, ISSN 1433-2779
Vydavatel
Springer Verlag
DOI
UT WoS
000409295800004
EID Scopus
BibTeX
@ARTICLE{FITPUB11541,
   author = "A. Parosh Abdulla and Fr\'{e}d\'{e}ric Haziza and Luk\'{a}\v{s} Hol\'{i}k and Bengt Jonsson and Ahmed Rezine",
   title = "An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures",
   pages = "549--563",
   journal = "International Journal on Software Tools for Technology Transfer",
   volume = 5,
   number = 19,
   year = 2017,
   ISSN = "1433-2779",
   doi = "10.1007/s10009-016-0415-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11541"
}
Nahoru