> State machines Probably one of the most powerful tool out here. You can catch a lot of things simply by identifying which state transitions should be possibl

> State machines Probably one of the most powerful tool out here. You can catch a lot of things simply by identifying which state transitions should be possible and which shouldn't exist