DES tools

The list of tools created by the group members and students.

Plug-ins for libFAUDES

1. Piecewise testability (by Eliška Foltasová, Faculty of Science, Palacky University, Olomouc, 2021, thesis (in czech).)
2. Relative observability (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno, 2018, thesis (in czech).)
3. Coordination control plug-in (already part of libFAUDES)