Szukana fraza: [Abstract = "The third stage deals with a generation of the process in the form of a graph of states and automatic relative correctness verification. The fourth stage is related to correctness verification for user\-defined criteria. The proposed verification method examines the relative correctness concept introduced in former papers."]