This is the API documentation for state_machine_checker-0.1.1 Documentation.