Parallel Model Checking for LTL, CTL*, and Lµ2
暂无分享,去创建一个
[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..