Hi Lee
> Maybe proof was a bad word to use. What I am trying to understand is
> where Executable UML is perceived to fail outside of the embedded
> area. (I am targeting the method and not tool support.)
I think if the workshop can achieve a clearer understanding of this,
that would be a good result.
Rgds
Ashley