state_machine_checker (rubygems): Verify properties of your state machines. 
Keywords: formal-methods|model-checking|ruby|state-machine|verification