• 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
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3729416