GitHub repository: CJStadler/state_machine_checker
Primary language: Ruby
Description: Verify properties of Ruby state machines using CTL