melintea/upml

Formal verification of UML state machines with Promela/spin and TLA+/PlusCal

GitHub repository with 5 stars and 1 forks.

Language: TLA

Topics: model-verification, pluscal, promela, uml-state-machine

Open provider repository