Reasoning about systems' state spaces

3 points | by todsacerdoti 12 hours ago