S. Berezin, E. Clarke, S. Jha, and W. Marrero. Model checking algorithms for the mu-calculus. Technical Report TR CMU-CS-96-180, Carnegie Mellon University, September 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Compositional Reasoning in Model Checking - Sergey Berezin Sergio (1998) (16 citations) Self-citation (Berezin Clarke) (Correct)
No context found.
S. Berezin, E. Clarke, S. Jha, and W. Marrero. Model checking algorithms for the mu-calculus. Technical Report TR CMU-CS-96-180, Carnegie Mellon University, September 1996.
Cv - Berezin Self-citation (Berezin) (Correct)
No context found.
Sergey Berezin, Edmund Clarke, Somesh Jha, and Will Marrero. Model checking algorithms for the mu-calculus. In G. Plotkin, Colin P. Stirling, Mads Tofte, and R. Milner, editors, Proof, Language, and Interaction. MIT Press, 2000.
Cv - Berezin Self-citation (Berezin) (Correct)
No context found.
Sergey Berezin, Edmund Clarke, Somesh Jha, and Will Marrero. Model checking algorithms for the mu-calculus. Technical Report CMU-CS-96-180, Cargegie Mellon University, September 1996. Also published as [14].
Compositional Reasoning in Model Checking - Berezin, Campos, Clarke (1998) (16 citations) Self-citation (Berezin Clarke) (Correct)
....the direct pre image at each iteration as we did for bisimulation, we compute the set of states from which there is a path to the current state along which the current labeling L(s) changes exactly once. This involves computing another least fixpoint. The details of the algorithm are described in [3]. A more efficient algorithm based on the Paige Tarjan algorithm was found by Groote and Vaandrager [16] that runs in O(mn) time. It is unknown, however, if this algorithm can use BDDs as well. Memory System Access controller Access unit Execute controller Execute unit Pa Pe Figure 4: A CPU ....
S. Berezin, E. Clarke, S. Jha, and W. Marrero. Model checking algorithms for the mu-calculus. Technical Report TR CMU-CS-96-180, Carnegie Mellon University, September 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC