Detail publikace
Parameterized verification through view abstraction
ABDULLA Parosh A., HAZIZA Frédéric a HOLÍK Lukáš. Parameterized verification through view abstraction. International Journal on Software Tools for Technology Transfer, roč. 2016, č. 5, 2015, s. 495-516. ISSN 1433-2779. Dostupné z: http://link.springer.com/article/10.1007%2Fs10009-015-0406-x
Název česky
Parametrická verifikace pomocí pohledové abstrakce
Typ
článek v časopise
Jazyk
angličtina
Autoři
URL
Abstrakt
Prezentujeme jednoduchou a efektivní metodu pro verifikaci paralelních systémů, založenou na pohledové abstrakci.
Rok
2015
Strany
495-516
Časopis
International Journal on Software Tools for Technology Transfer, roč. 2016, č. 5, ISSN 1433-2779
Vydavatel
Springer Verlag
DOI
UT WoS
000382011100003
EID Scopus
BibTeX
@ARTICLE{FITPUB11340, author = "A. Parosh Abdulla and Fr\'{e}d\'{e}ric Haziza and Luk\'{a}\v{s} Hol\'{i}k", title = "Parameterized verification through view abstraction", pages = "495--516", journal = "International Journal on Software Tools for Technology Transfer", volume = 2016, number = 5, year = 2015, ISSN = "1433-2779", doi = "10.1007/s10009-015-0406-x", language = "english", url = "https://www.fit.vut.cz/research/publication/11340" }