Mgr. Barbora Vaššová
Bachelor's thesis
Verifikace protokolu AMQP
Verification of AMQP Protocol
Abstract:
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í …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 18. 5. 2015
Identifier:
https://is.muni.cz/th/ook9k/
Thesis defence
- Date of defence: 19. 6. 2015
- Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
- Reader: prof. RNDr. Luboš Brim, CSc.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Computer Networks and Communication
Theses on a related topic
-
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Linear Temporal Logic and omega-automata
František Blahoudek -
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á