Publication Date:
2021
abstract:
This documents contains the source code of two trasformation tools used in the 4SECURail project. The tools umc2lnt takes as argument the name of a file contining an UMC model and generates the corresponding CADP/LNT model.
Iris type:
05.11 Software
Keywords:
UMC; ProB; LNT; Ada
List of contributors: