Model checking-based safety verification for railway signal safety protocol-I

Author： Meng Mei   Zhongwei Xu   Xi Wang   Yongbing Wan  

Publisher： Inderscience Publishers

ISSN： 0952-8091

Source： International Journal of Computer Applications in Technology, Vol.46, Iss.3, 2013-03, pp. : 195-202

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A model checking-based approach for security policy verification of mobile systems

By Braghin Chiara  

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 627-648

Springer Publishing Company

Access to resources Recommend Favorite

Accelerating Bounded Model Checking of Safety Properties

By Strichman Ofer  

Formal Methods in System Design, Vol. 24, Iss. 1, 2004-01 ,pp. : 5-24

Springer Publishing Company

Access to resources Recommend Favorite

Bytecode Verification by Model Checking

By Basin David   Friedrich Stefan   Gawkowski Marek  

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 399-444

Springer Publishing Company

Access to resources Recommend Favorite

Finite Reasons for Safety: Parameterized Verification by Finite Model Finding

By Lisitsa Alexei  

Journal of Automated Reasoning, Vol. 51, Iss. 4, 2013-12 ,pp. : 431-451

Springer Publishing Company

Access to resources Recommend Favorite

Model-based verification of privacy preserving authentication protocol for VANETs

By Chaurasia Brijesh Kumar  

International Journal of Information Technology, Communications and Convergence, Vol. 2, Iss. 2, 2012-08 ,pp. : 120-137

Inderscience Publishers

Access to resources Recommend Favorite