Re: SDL-News: transition atomicity in SDL

Subject: Re: SDL-News: transition atomicity in SDL
Date: Wed Apr 23 1997 - 09:11:38 GMT

The originator of this message is responsible for its content.

-----From (Flavia Andrea Munhoz V. da Silva) to sdlnews



Anders Ek wrote:

About tool implementations of the interleaving semantics of SDL.

I don't know how other verification tools work but the SDT Validator

allows the user to define wether he would like the tool to explore all

interleavings or to use the scheduling policy that the stand-alone SDT

application kernel would use.



---------------------------------------------------------------------------- ----

Anders, I would like to ask you : what is the tool stop criteria for validation

in case that the user choose it to explore all interleavings ? It seems to me that

this may looks like the "exaustive test" in some not too much complex systems,

in the sense of how much effort it would take to run. Another question: does the

SDT Validator have any process that register each run ? It if does, is it possible

to repeat one special run, based on this register ?

Thank you very much for your attention.

Best regards,



Flavia Andrea M. V. da Silva - TELEBRAS R&D Center

Phone: (+55) 019-789-6622

Fax: (+55) 019-789-6331


-----End text from (Flavia Andrea Munhoz V. da Silva) to sdlnews -----

For help, email "" with the body of your email as:


or (iff this does not answer your question) email:

This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:39 GMT