Formal Analysis of the Operational Concept for the Small Aircraft Transportation System
暂无分享,去创建一个
[1] Brian T. Baxley,et al. The Small Aircraft Transportation System (SATS), Higher Volume Operations (HVO) Off-Nominal Operations , 2005 .
[2] Gianfranco Ciardo,et al. Formal Verification of the NASA Runway Safety Monitor , 2005, Electron. Notes Theor. Comput. Sci..
[3] Gilles Dowek,et al. Modeling and verification of an air traffic concept of operations , 2004, ISSTA '04.
[4] Phil Gray,et al. Practical Experience Applying Fo rmal Method s to Air Traff ic Management Software , 2007 .
[5] Victor Carreño,et al. Conflict Prevention and Separation Assurance Method in the Small Aircraft Transportation System , 2005 .
[6] Toby Walsh,et al. Automated Deduction—CADE-11 , 1992, Lecture Notes in Computer Science.
[7] Brian T. Baxley,et al. The Small Aircraft Transportation System, Higher Volume Operations Off -Nominal Operations , 2005 .
[8] David Notkin,et al. Model checking large software specifications , 1996, SIGSOFT '96.
[9] Mieke Massink,et al. Modelling free flight with collision avoidance , 2001, Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems.
[10] Victor Carreño,et al. Formal Verification of Conflict Detection Algorithms , 2001, CHARME.
[11] Phil Gray,et al. 3.3.4 Practical Experience Applying Formal Methods to Air Traffic Management Software , 1998 .
[12] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[13] Natarajan Shankar,et al. PVS: A Prototype Verification System , 1992, CADE.
[14] Nancy G. Leveson,et al. Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..