The project is in a healthy, maintained state
Verify properties of your state machines.