Spin Model Checker.
sistema, estudiar los componentes individuales y probar que son correctos. Este tipo de problemas tienen que ver únicamente con la interacción de múltiples componentes que se ejecutan simultáneamente. Son causados por la forma en que se ensamblan los componentes. Este tipo de problemas también son