Mgr. Barbora Vaššová
Bakalářská práce
Verifikace protokolu AMQP
Verification of AMQP Protocol
Anotace:
Cieľom tejto práce je formálne verifikovať niektoré vlastnosti AMQP protokolu. Tento protokol je formálne popísaný a modelovaný v jazyku DVE. Požadované vlastnosti, zamerané na spoľahlivosť protokolu, sú formulované pomocou lineárnej temporálnej logiky. Pri samotnej verfikácii bol použitý DiVinE model checker, keďže plne podporuje verifikácu modelov napísaných v jazyku DVE aj verifikáciu vlastností …víceAbstract:
The aim of this thesis is to formally verify some properties of the AMQP protocol. This protocol is formally described and modeled in DVE language. The required properties, focused on reliability of the protocol, are formulated with the help of linear temporal logic. In order to verify the created model, the DiVinE model checker is used, since it fully suports both verification of models written in …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 18. 5. 2015
Identifikátor:
https://is.muni.cz/th/ook9k/
Obhajoba závěrečné práce
- Obhajoba proběhla 19. 6. 2015
- Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
- Oponent: prof. RNDr. Luboš Brim, CSc.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Počítačové sítě a komunikace
Práce na příbuzné téma
-
Linear Temporal Logic and omega-automata
František Blahoudek -
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Runtime Verification of Linear Temporal Specifications with Degradation
Tomáš Staňa -
Control Strategy Synthesis for Path Planning under Temporal Constraints
Mária Svoreňová -
Temporal attribute implications
Jan TŘÍSKA -
Quantitative Linear-Time Model Checking
Jana Tůmová -
Almost linear Bűchi automata
Tomáš Babiak -
Craig's Interpolant in Model Checking Algorithms
Viktória Vozárová