Detect undefined state transitions in software specifications
Primary LanguagePrologGNU General Public License v3.0GPL-3.0