Towards the formalization of Road traffic Management system for safety critical properties by Z notation

The endeavour of this paper is to use formal methods for safety critical systems for providing a formal verification approach. Z notation is a formal language, has been used for structuring the specification of proposed system: road traffic management system for instance, which is further verified by its tool, Z/EVES. This utter need to propose this approach is to make a system which is accurate, reliable and complete.