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

Loading