Detail publikace

Parameterized verification through view abstraction

HOLÍK, L.; ABDULLA, P.; HAZIZA, F. Parameterized verification through view abstraction. International Journal on Software Tools for Technology Transfer, 2015, vol. 2016, no. 5, p. 495-516. ISSN: 1433-2779.
Název česky
Parametrická verifikace pomocí pohledové abstrakce
Typ
článek v časopise
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Abdulla Parosh
Haziza Frédéric
URL
Klíčová slova

Parameterized systems Safety Small model properties View abstraction

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
DOI
10.1007/s10009-015-0406-x
UT WoS
000382011100003
EID Scopus
2-s2.0-84947922862
BibTeX 
@article{BUT133508,
  author="Lukáš {Holík} and Parosh {Abdulla} and Frédéric {Haziza}",
  title="Parameterized verification through view abstraction",
  journal="International Journal on Software Tools for Technology Transfer",
  year="2015",
  volume="2016",
  number="5",
  pages="495--516",
  doi="10.1007/s10009-015-0406-x",
  issn="1433-2779",
  url="http://link.springer.com/article/10.1007%2Fs10009-015-0406-x"
}
Nahoru