DocumentCode :
3729416
Title :
Towards the formalization of Road traffic Management system for safety critical properties by Z notation
Author :
Monika Singh;A.K. Sharma;Ruhi Saxena
Author_Institution :
Faculty of Engineering & Technology (FET), Mody University of Science & Technology, Lakshmangarh, Rajasthan, India
fYear :
2015
Firstpage :
1516
Lastpage :
1521
Abstract :
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.
Keywords :
"Yttrium","Unified modeling language","Injuries","Mathematical model","Law enforcement"
Publisher :
ieee
Conference_Titel :
Green Computing and Internet of Things (ICGCIoT), 2015 International Conference on
Type :
conf
DOI :
10.1109/ICGCIoT.2015.7380707
Filename :
7380707
Link To Document :
بازگشت