Chan, W., Anderson, R.J., Beame, P., Jones, D.H., Notkin, D., 2001. Optimizing Symbolic Model Checking for Statecharts, IEEE Transactions on Software Engineering 27 (2) , 170-190.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Semantics and Verification of UML Activity Diagrams for Workflow.. - Eshuis (2002) (3 citations) (Correct)
....more easy. We use reduction rules to decrease the state space of the models we check. The reduction rules may however also be beneficial for a workflow modeller to increase understanding of the workflow models. Recently, slicing has been used in combination with model checking by Chan et al. [35], Clarke et al. 40] and Hatcli# et al. 93] Chan et al. 35] slice a RSML statechart with respect to a given property # by removing parallel nodes in the statechart that are not (in)directly referred to by #. In particular, if a certain node is relevant, all its predecessors are relevant as ....
....of the models we check. The reduction rules may however also be beneficial for a workflow modeller to increase understanding of the workflow models. Recently, slicing has been used in combination with model checking by Chan et al. 35] Clarke et al. 40] and Hatcli# et al. 93] Chan et al. [35] slice a RSML statechart with respect to a given property # by removing parallel nodes in the statechart that are not (in)directly referred to by #. In particular, if a certain node is relevant, all its predecessors are relevant as well; these are not removed. Di#erence with our approach is that ....
W. Chan, R.J. Anderson, P. Beame, D.H. Jones, D. Notkin, and W.E. Warner. Optimizing symbolic model checking for statecharts. IEEE Transactions on Software Engineering, 27(2):170--190, 2001.
Automatic Generation of Assumptions for Modular Verification of .. - Riva, Tuya (2006) (Correct)
No context found.
Chan, W., Anderson, R.J., Beame, P., Jones, D.H., Notkin, D., 2001. Optimizing Symbolic Model Checking for Statecharts, IEEE Transactions on Software Engineering 27 (2) , 170-190.
Automated Verification of State-based specifications against.. - Bontemps (2001) (Correct)
No context found.
William Chan, Richard Anderson J., Paul Beame, David Jones H., David Notkin & William Warner E. Optimizing Symbolic ModelChecking for Statecharts. IEEE Transactions on Software Engineering, vol. 27, no. 2, pages 170--190, February 2001. IEECS Log Number 112146.
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
No context found.
Chan, W., Anderson, R., Beame, P., Jones, D., Notkin, D., and Warner, W. (2001). Optimizing Symbolic Model Checking for Statecharts. IEEE Transactions on Software Engineering, 27(2):170--190.
Space Reductions for Model Checking Quasi-Cyclic Systems - Dwyer, Robby, Deng, Hatcliff (2003) (2 citations) (Correct)
No context found.
W. Chan, R. J. Anderson, P. Beame, D. Notkin, D. H. Jones, and W. E. Warner. Optimizing symbolic model checking for statecharts. IEEE Transactions on Software Engineering, 27(2):170--190, 2001.
Bogor: An Extensible and Highly-Modular Software Model.. - Robby, Dwyer, Hatcliff (2003) (7 citations) (Correct)
No context found.
W. Chan, R. J. Anderson, P. Beame, D. Notkin, D. H. Jones, and W. E. Warner. Optimizing symbolic model checking for statecharts. IEEE Transactions on Software Engineering, 27(2):170--190, 2001.
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