Differences
This shows you the differences between two versions of the page.
| Both sides next revision |
start [2015/10/18 09:42]
ptm | start [2021/09/23 08:51]
|
|---|
| ====== Welcome to the FM Wiki====== | |
| |
| Welcome to the FM Wiki at http://fm.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://cslab.ia.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). | |