Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties
Primary LanguageKotlinGNU General Public License v3.0GPL-3.0