( ESNUG 370 Item 15 ) ------------------------------------------- [05/17/01]

Subject: ( SNUG 01 #15 ) But What About Mentor's FormalPro Or Innologic?

> EXIT WOUNDS: Out of the 27 e-mails I received on Formality, Verplex or
> Chrysalis: 22 were pro-Verplex; 5 were pro-Formality; and none were
> pro-Chrysalis.
>
>     - from the SNUG'01 Trip Report


From: Albin Takami <Albin.Takami@nokia.com>

Hi John,

Concerning the comments you had about Chrysalis, Formality, and Verplex:
I was just wondering if anybody commented about Mentor's FormalPro or
Innologic Systems' ESV-CV?  (If there were no comments, I'd be interested
in what users think about these two tools now.)

    - Albin Takami
      Nokia Mobile Phones                        San Diego, CA

   !!!     "It's not a BUG,
  /o o\  /  it's a FEATURE!"
 (  >  )
  \ - / 
  _] [_     (jcooley 1991)