Szukana fraza: [Abstract = An algebraic approach to correctness verification of graphical software specifications is presented. LACATRE graphical language based on multitasking and providing real\-time functions is considered as a specification tool. The verification process is distributed into four stages. The two initial ones are related to a translation of LACATRE specification into lower description level \(Communicating Real\-Time State Machines\).]