( ESNUG 403 Item 6 ) --------------------------------------------- [11/20/02]
Subject: ( ESNUG 402 #8 ) User Prefers FormalPro Over Verplex & Formality
> Thanks for publishing the comparison of Formality and Chrysalis in
> ESNUG 400 #15. I wonder if any user of both Mentor's FormalPro and
> Formality has published such a report? I would be interested in
> looking at it.
>
> - Mahesh Siddappa
> Atmel
From: Russell Petersen <russp of subasic sciatl got mom sharksharkshark>
John,
We also used to use Formality but got sick of the bugs and decided to dump
it in favor of something else. We tried out both Verplex Tuxedo and Mentor
FormalPro. We decided to go with FormalPro due to some past relationships
with Mentor and we also felt it was a better tool but I did not have time to
dig deep enough to prove that. In any case, we have been using FormalPro
now for about 2 months and so far we are very pleased. Mentor is very
interested in making us successfull so the support has been great. I wish I
had more time to run the tool personally (have not much really run it myself
since the eval) but I do recommend anyone looking into a formal tool to
consider the Mentor FormalPro tool.
- Russ Petersen
Scientific Atlanta
|
|
