R

rabbitmq-tla-test-case-gen

A java project that generates tests for RabbitMQFMU based on the dot file exported from tla+.