Welcome to the FM Wiki at http://alvis.kis.agh.edu.pl. This Wiki is used to keep track of several Research Projects related to Formal Methods that are carried out in Department of Applied Computer Science at AGH University of Science and Technology. The Formal Methods Research Group is led by Prof. Marcin Szpyrka.

This page is also the Home Page for Alvis Language.

Tools for translation of Petri nets reachability/coverability graphs into different model checkers formats (nuXmv, CADP).