Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP

Abstract

Checking the equivalences belongs among settled techniques of verifications of the systems. Different equivalences are checked on different models of the system. The aim of my thesis was the creation of the simple verification tool which would be checking bisimulation equivalences between normed basic parallel processes and normed basic process algebras, so between two of these models. In this document is described how the tool was created, including explanation of notion and their properties. This is necessary for understanding described algorithms. Determination of time complexity comes from quoted sources, this text does not deal with it.