All,

I've been looking for a suitable forum for asking
Verification questions specifically regarding Verisity's
"e" language.

Basically, I want to learn "e" , I've browsed Verisity's
web site looking for evaluation copies of their tools -
but no joy - does anyone know if they exist?

Does anyone know of any decent resources for learning "e"
and Verisity's tools.

thanks in advance,

atul.