Model checking-based safety verification for railway signal safety protocol-I
暂无分享,去创建一个
[1] Olfa Mosbahi,et al. Formal approach for the development of intelligent industrial control components , 2011, Int. J. Comput. Appl. Technol..
[2] Bowen Alpern,et al. Defining Liveness , 1984, Inf. Process. Lett..
[3] Kang-Mi Lee,et al. Development of verification and conformance testing tools for a railway signaling communication protocol , 2009, Comput. Stand. Interfaces.
[4] Shing-Chi Cheung,et al. Checking safety properties using compositional reachability analysis , 1999, TSEM.
[5] Gwi-Tae Park,et al. Performance evaluation and verification of communication protocol for railway signaling systems , 2005, Comput. Stand. Interfaces.
[6] Jeff Magee,et al. Concurrency - state models and Java programs , 2006 .
[7] David G. Green,et al. Elements of a network theory of complex adaptive systems , 2011, Int. J. Bio Inspired Comput..
[8] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .
[9] Giovanna Di Marzo Serugendo,et al. Advances in complexity engineering , 2011, Int. J. Bio Inspired Comput..
[10] Olfa Mosbahi,et al. Combining Formal Methods for the Development of Reactive Systems , 2013, TECS.
[11] Christian Gerber,et al. Virtual start-up of plants using formal methods , 2011, Int. J. Comput. Appl. Technol..
[12] George S. Avrunin,et al. Using integer programming to verify general safety and liveness properties , 1995, Formal Methods Syst. Des..
[13] Giovanna Di Marzo Serugendo,et al. Concepts in complexity engineering , 2011, Int. J. Bio Inspired Comput..