Formal verification of UML state machines with Promela and TLA+/PlusCal
Primary LanguageTLAGNU General Public License v3.0GPL-3.0