Table of Contents

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 Department of Applied Computer Science at AGH University of Science and Technology. The Formal Methods Research Group is led by Prof. Marcin Szpyrka.

Alvis

This page is also the Home Page for Alvis Language.

PetriNet2ModelChecker

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