论文信息 - Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems - 字舞流文

Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems

Adriano Peron | Massimo Benerecetti | Fabio Mogavero | Luigi Libero Lucio Starace

[1] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[2] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[3] K. Miller,et al. The Boeing 737 MAX: Lessons for Engineering Ethics , 2020, Sci. Eng. Ethics.

[4] Adriano Peron,et al. Verification of well-formed communicating recursive state machines , 2006, Theor. Comput. Sci..

[5] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[6] Stefano Marrone,et al. Dynamic State Machines for Formalizing Railway Control System Specifications , 2014, FTSCS.

[7] Lionel C. Briand,et al. Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior , 2019, IEEE Transactions on Software Engineering.

[8] Sampath Kannan,et al. Communicating Hierarchical State Machines , 1999, ICALP.

[9] Thomas A. Henzinger,et al. MOCHA: Modularity in Model Checking , 1998, CAV.