ABSTRACT
With the extensive application of the Internet of Things, especially cutting-edge technology in the field of (railway signaling, nuclear, aerospace, national security, and network communications, etc.), the security of radioactive sources now become a very important issue. Significance of formal methods that can help send other methods are not easy to find inconsistencies in the system description, unclear or incomplete, helping to increase software developers understand the system, so the formal methods to improve software systems, especially important means of security and reliability of sources monitoring tracking system.
