Statechart Verification with iState

Details Statechart Verification with iState Statechart Verification with iState

2009-09-08

arxiv.org/abs/0909.1361v1

Computer Science

Software Engineering

11 pages, 1 figure

Scientific paper

This paper is the longer version of the extended abstract with the same name published in FM 06. We describe in detail the algorithm to generate verification conditions from statechart structures implemented in the iState tool. This approach also suggests us a novel method to define a version of predicate semantics for statecharts analogous to how we assign predicate semantics to programming languages.

Affiliated with

Also associated with

No associations

Rating

Statechart Verification with iState 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 Statechart Verification with iState, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Statechart Verification with iState will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-107540