论文信息 - Partial Order Reduction for the full Class of State/Event Linear Temporal Logic - 字舞流文

Partial Order Reduction for the full Class of State/Event Linear Temporal Logic

Zhiqiu Huang | Shuanglong Kan | Zhiqiu Huang | Shuanglong Kan

[1] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.

[2] L. Brim,et al. Partial order reduction for state/event LTL with application to component-interaction automata , 2011, Sci. Comput. Program..

[3] Joël Ouaknine,et al. Concurrent software verification with states, events, and deadlocks , 2005, Formal Aspects of Computing.

[4] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .

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

[6] Mark Ryan,et al. Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .

[7] Jean-Raymond Abrial,et al. Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.

[8] Stefan Leue,et al. Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN , 2000, International Journal on Software Tools for Technology Transfer.

[9] Michael J. Butler,et al. Language and tool support for event refinement structures in Event-B , 2015, Formal Aspects of Computing.

[10] Rupak Majumdar,et al. Software model checking , 2009, CSUR.

[11] Zhe Chen,et al. Partial order reduction for checking LTL formulae with the next-time operator , 2016, J. Log. Comput..

[12] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .

[13] Pierre Wolper,et al. A Partial Approach to Model Checking , 1994, Inf. Comput..