求翻译：图6 系统内部结构图使用socket通信程序分析系统可以验证本文第5小节所列LTL性质，下面以死锁检测为例进行说明。是什么意思？

Figure 6 internal structure of socket communication program analysis system can verify this article first five sections listed ltl nature, deadlock detection, for example, described below.

Figure 6 system internal structure diagram using socket Communications Program Analysis System allows you to verify that this subsection 5 LTL nature, the list below for a deadlock detection.

Figure 6 the system interior structure drawing uses the socket procedure analysis system to be possible to confirm the this article 5th section to arrange in order the LTL nature, below carries on the explanation take the deadbolt lock examination as the example.

Figure 6 internal structure analysis system using socket communication program 5th LTL properties set out in subsections of this article can be verified, following the case of deadlock detection is described.

system internal structure;