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
Abdulla Parosh A. (Uppsala)
Haziza Frédéric (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
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
10.1007/s10009-015-0406-x
UT WoS
000382011100003
EID Scopus
2-s2.0-84947922862
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"
}
Nahoru