Upml is a tool to transform a plantuml UML state machine specification into either a ProMeLa or a PlusCal specification suitable for formal verifications.

Upml is marginally usable with simple UML state machines as of v0.03. Or maybe not. Any feedback is appreciated.