Partial order reduction for state/event LTL with application to component-interaction automata
暂无分享,去创建一个
L. Brim | N. Beneš | B. Buhnova | I. Černá | J. Sochor | P. Vařeková | L. Brim | I. Cerná | Barbora Buhnova | Jirí Sochor | Nikola Benes | Pavlína Vareková
[1] Lubos Brim,et al. Component-Interaction Automata Approach (CoIn) , 2007, CoCoME.
[2] Joël Ouaknine,et al. State/Event-Based Software Model Checking , 2004, IFM.
[3] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
[4] Thomas A. Henzinger,et al. INTERFACE-BASED DESIGN , 2005 .
[5] Nikola Benes,et al. Space Effective Model Checking for Component-Interaction Automata , 2009, MEMICS.
[6] Lubos Brim,et al. DiVinE 2.0: High-Performance Model Checking , 2009, 2009 International Workshop on High Performance Computational Systems Biology.
[7] Antti Valmari,et al. A stubborn attack on state explosion , 1990, Formal Methods Syst. Des..
[8] Stephan Merz,et al. Model Checking , 2000 .
[9] Patrice Godefroid. Using Partial Orders to Improve Automatic Verification Methods , 1990, CAV.
[10] Gerard J. Holzmann,et al. An improvement in formal verification , 1994, FORTE.
[11] Heike Wehrheim,et al. Slicing Object-Z Specifications for Verification , 2005, ZB.
[12] Joël Ouaknine,et al. Concurrent software verification with states, events, and deadlocks , 2005, Formal Aspects of Computing.
[13] Dragan Bosnacki,et al. Partial-order reduction for general state exploring algorithms , 2006, International Journal on Software Tools for Technology Transfer.
[14] Jun Sun,et al. Specifying and Verifying Event-Based Fairness Enhanced Systems , 2008, ICFEM.
[15] Victoria Allen,et al. All for one. , 2013, Journal of obstetrics and gynaecology Canada : JOGC = Journal d'obstetrique et gynecologie du Canada : JOGC.
[16] Lubos Brim,et al. Component-interaction automata as a verification-oriented component-based system specification , 2006, ACM SIGSOFT Softw. Eng. Notes.
[17] Doron A. Peled,et al. Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator , 1997, Inf. Process. Lett..
[18] Doron A. Peled,et al. Ten Years of Partial Order Reduction , 1998, CAV.
[19] Raffaela Mirandola,et al. The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007] , 2007, CoCoME.
[20] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[21] Doron A. Peled. Combining Partial Order Reductions with On-the-fly Model-Checking , 1994, CAV.
[22] P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .
[23] Dimitra Giannakopoulou,et al. Fluent model checking for event-based systems , 2003, ESEC/FSE-11.
[24] Jiří Sochor,et al. The CoIn Tool: Modelling and Verification of Interactions inComponent-Based Systems , 2008 .
[25] Pavlína Vareková,et al. A Case Study in Parallel Verification of Component-Based Systems , 2008, Electron. Notes Theor. Comput. Sci..
[26] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[27] Doron A. Peled,et al. All from One, One for All: on Model Checking Using Representatives , 1993, CAV.