论文信息 - Parallel Model Checking for LTL, CTL*, and Lµ2 - 字舞流文

Parallel Model Checking for LTL, CTL*, and Lµ2

Martin Leucker | Michael Weber | Rafal Somla | M. Leucker | Rafal Somla | Michael Weber

[1] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[2] Mads Dam,et al. CTL* and ECTL* as Fragments of the Modal µ-Calculus , 1992, CAAP.

[3] A. Prasad Sistla,et al. On Model-Checking for Fragments of µ-Calculus , 1993, CAV.

[4] Mads Dam. CTL* and ECTL* as Fragments of the Modal mu-Calculus , 1994, Theor. Comput. Sci..

[5] Julian C. Bradfield,et al. The Modal µ-Calculus Alternation Hierarchy is Strict , 1998, Theor. Comput. Sci..

[6] David L. Dill,et al. Parallelizing the Murphi Verifier , 1997, CAV.

[7] Stephan Merz,et al. Model Checking , 2000 .

[8] David L. Dill,et al. Parallelizing the Murϕ Verifier , 2001, Formal Methods Syst. Des..

[9] Lubos Brim,et al. Distributed LTL Model Checking Based on Negative Cycle Detection , 2001, FSTTCS.

[10] Assaf Schuster,et al. Distributed Symbolic Model Checking for µ-Calculus , 2001, CAV.

[11] Benedikt Bollig,et al. Local Parallel Model Checking for the Alternation-Free µ-Calculus , 2002, SPIN.

[12] Luboš Brim,et al. Property Driven Distribution of Nested DFS , 2002 .

[13] Assaf Schuster,et al. Distributed Symbolic Model Checking for μ-Calculus , 2005, Formal Methods Syst. Des..