Skip to content

GitLab

Explore

Sign in

galla
mcc2ltsmin

M

mcc2ltsmin

Project information

Translate CTL / LTL / CTL* query syntax from MCC to LTSmin. Optionally, fuzz CTL queries to create CTL* ones.

17 Commits
1 Branch
0 Tags

README
GNU General Public License v3.0 or later

Created on

September 22, 2020

Copy SSH clone URLgit@gitlab.di.unito.it:galla/mcc2ltsmin.git
Copy HTTPS clone URLhttps://gitlab.di.unito.it/galla/mcc2ltsmin.git