On the complexity of partial order trace model checking

The design of a distributed system is known to be a difficult task which can be eased by various techniques including validation and debugging. The model-based design (e.g. with UML or other adapted specification languages) abstracts the actions the system can do into events which change its global state. Depending on the assumptions the designer makes, the model can be eithe