Towards the formalization of Road traffic Management system for safety critical properties by Z notation
Monika Singh, Ashok Kumar Sharma, Ruhi Saxena · 2015
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.