Pregled bibliografske jedinice broj: 840201
The Concurrency Representation in TLA+ Specification
The Concurrency Representation in TLA+ Specification // Proceedings of the VIIIth International scientific-practical conf. on Modern problems and achievements of radio engineering (electronics), telecommunications and information technology
Zaporižja, 2016. str. 118-119 (ostalo, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 840201 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
The Concurrency Representation in TLA+ Specification
Autori
Viktorovych Shkarupylo, Vadym ; Tomičić, Igor ; Viacheslavovych Arapin, Dmytro
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the VIIIth International scientific-practical conf. on Modern problems and achievements of radio engineering (electronics), telecommunications and information technology
/ - Zaporižja, 2016, 118-119
ISBN
978-617-529-152-8
Skup
International scientific-practical conf. on Modern problems and achievements of radio engineering (electronics), telecommunications and information technology
Mjesto i datum
Zaporizhzhya, Ukrajina, 21.09.2016. - 23.09.2016
Vrsta sudjelovanja
Ostalo
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
concurrency ; model checking ; TLA+ ; formalisms ; temporal logic of actions
Sažetak
The work is aimed at the estimation of memory requirements depending on the complexity of model checking tasks to be solved. For this purpose the concurrency is represented in formal TLA+ specification on its lowest abstraction layer – as an interleaving.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Igor Tomičić
(autor)
