====== Welcome to the FM Wiki======

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 [[http://www.kis.agh.edu.pl|Department of Applied Computer Science]] at 
[[http://www.agh.edu.pl|AGH University of Science and Technology]]. The **Formal Methods Research Group** is led by Prof. Marcin Szpyrka. 


====== Alvis ======

{{:alvis-logo.png?150|}} This page is also the Home Page for **Alvis Language**.

====== PetriNet2ModelChecker ======

{{:logo.png?350 |}} Tools for translation of Petri nets reachability/coverability graphs into different model checkers formats (nuXmv, CADP).