Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision |
start [2014/11/14 11:34] marcin [PetriNet2ModelChecker] | start [2015/10/19 08:19] marcin |
---|
| ====== 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). |