of the 2 nd BCS-FACS Northern Formal Methods Workshop , Ilkley , 14-15 July 1997 On Formal Semantics of Statecharts as Supported by STATEMATE

@inproceedings{Mikk1997ofT2,
  title={of the 2 nd BCS-FACS Northern Formal Methods Workshop , Ilkley , 14-15 July 1997 On Formal Semantics of Statecharts as Supported by STATEMATE},
  author={Erich Mikk and Yassine Lakhnech and Carsta Petersohn and Michael Siegel},
  year={1997}
}
We formalize the rigorous but informal description of the semantics of statecharts given by Harel and Naamad in [3] which corresponds to the semantics underlying the commercial tool S TATEMATE. We closely follow [3] to increase confidence that our semantics actually corresponds to their informal description. In [3] the semantics is given by a detailed… CONTINUE READING