Detail publikace

AVISPA: Towards Practical Verification of Communication Properties

OČENÁŠEK, P.; ŠVÉDA, M. AVISPA: Towards Practical Verification of Communication Properties. Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1. Ostrava: IFAC, 2009. p. 153-156. ISBN: 978-3-902661-41-8. ISSN: 1474-6670.
Název česky
AVISPA: Praktické ověřování komunikačních vlastností
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

AVISPA, tool, HLPSL, communication properties, verification, education

Abstrakt

Tento článek se zabývá verifikací komunikačních vlastností v jazyce AVISPA. Hlavním obsahem příspěvku je prezentace nástroje, jeho komponent a hlavních rysů jazyka HLPSL.

Rok
2009
Strany
153–156
Časopis
Programmable devices and systems, roč. 2009, č. 2, ISSN 1474-6670
Sborník
Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems
Řada
Programmable Devices and Embedded Systems, Volume # 9 | Part# 1
ISBN
978-3-902661-41-8
Vydavatel
IFAC
Místo
Ostrava
DOI
10.3182/20090210-3-CZ-4002.00030
BibTeX 
@inproceedings{BUT33717,
  author="Pavel {Očenášek} and Miroslav {Švéda}",
  title="AVISPA: Towards Practical Verification of Communication Properties",
  booktitle="Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems",
  year="2009",
  series="Programmable Devices and Embedded Systems, Volume # 9 | Part# 1",
  journal="Programmable devices and systems",
  volume="2009",
  number="2",
  pages="153--156",
  publisher="IFAC",
  address="Ostrava",
  doi="10.3182/20090210-3-CZ-4002.00030",
  isbn="978-3-902661-41-8",
  issn="1474-6670"
}
Nahoru