Model Checking of Statechart Models: Survey and Research Directions

Details Model Checking of Statechart Models: Survey and Research Directions Model Checking of Statechart Models: Survey and Research Directions

2004-07-16

arxiv.org/abs/cs/0407038v1

Computer Science

Software Engineering

Scientific paper

We survey existing approaches to the formal verification of statecharts using model checking. Although the semantics and subset of statecharts used in each approach varies considerably, along with the model checkers and their specification languages, most approaches rely on translating the hierarchical structure into the flat representation of the input language of the model checker. This makes model checking difficult to scale to industrial models, as the state space grows exponentially with flattening. We look at current approaches to model checking hierarchical structures and find that their semantics is significantly different from statecharts. We propose to address the problem of state space explosion using a combination of techniques, which are proposed as directions for further research.

Affiliated with

Also associated with

No associations

Rating

Model Checking of Statechart Models: Survey and Research Directions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Model Checking of Statechart Models: Survey and Research Directions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model Checking of Statechart Models: Survey and Research Directions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-636279