Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity na BPP

Abstract

The standard techniques of verification systems includes the verification of equivalences. On the various types of models of system are checking different equivalences. This thesis was focused on two algorithm verifying bisimulation equivalence between two systems specific as a basic parallel processes which are available in literature. The goal was to create a verification tool that will decide bisimulation equivalence on different inputs of various sizes. This text describe how was the tool created including concepts important to the understanding of the algorithms. Correctness of the algorithms and their asymptotic complexity results from the cited sources, thesis does not include this.