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 [2021/09/23 08:51] (current)
|
|---|
| | ====== 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). |