7 Conclusion The global state is a major concern in the verification of a distributed system. State-driven testing of distributed systems proves to be ...
確定! 回上一頁