Detail publikace
AVISPA: Towards Practical Verification of Communication Properties
OČENÁŠEK Pavel a ŠVÉDA Miroslav. AVISPA: Towards Practical Verification of Communication Properties. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, roč. 2009. Ostrava: IFAC, 2009, s. 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
angličtina
Autoři
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
IFAC-PapersOnLine, 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
Konference
IFAC Workshop on Programmable Devices and Embedded Systems, Rožnov pod Radhoštěm, CZ
ISBN
978-3-902661-41-8
Vydavatel
IFAC
Místo
Ostrava, CZ
DOI
BibTeX
@INPROCEEDINGS{FITPUB8809, author = "Pavel O\v{c}en\'{a}\v{s}ek and Miroslav \v{S}v\'{e}da", title = "AVISPA: Towards Practical Verification of Communication Properties", pages = "153--156", booktitle = "Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems", series = "Programmable Devices and Embedded Systems, Volume \# 9 | Part\# 1", journal = "IFAC-PapersOnLine", volume = 2009, number = 2, year = 2009, location = "Ostrava, CZ", publisher = "IFAC", ISBN = "978-3-902661-41-8", ISSN = "1474-6670", doi = "10.3182/20090210-3-CZ-4002.00030", language = "english", url = "https://www.fit.vut.cz/research/publication/8809" }