Welcome to the FM Wiki at http://fm.ia.agh.edu.pl. This Wiki is used to keep track of several Research Projects related to Formal Methods that are carried out in Computer Science Laboratory at AGH University of Science and Technology (Department of Automatics).

We start a new project Alvis (VISual ALgebra) related to process algebras.