total-space (cargo): Explore the total space of states of communicating finite state machines.
Keywords: validation