“…The problems in turn can be solved and verified using the built-in theories and theorem prover. PVS is considered one of the most popular and effective verification systems, because it provides an automated type An XML data instance of a partially normalized Department-Course data model checker, a rich library of predefined theorems and a powerful theorem prover [41,44]. It has been adopted to provide formal verification support for system properties of many applications such as fault tolerant flight control systems, railroad crossing controllers, real-time hardware systems, and steam boiler control systems [25,37,43,47,50].…”